def timeEncode(seconds):
def timeDecode(s):
def allMatches(source, regex):