import time def timestamp(): return time.strftime('%X')