# Ivan Novick
# epoch2string.py
# January 9, 2010

import sys, time

if len(sys.argv) < 2:
    print "USAGE: python %s epochnum" % sys.argv[0]
    sys.exit(0)

epoch = int(sys.argv[1])
print time.ctime(epoch)