def arktimestamp(arkt, forfilename=False):
t = arkt + time.mktime((<NUM_LIT>, <NUM_LIT:3>, <NUM_LIT>, <NUM_LIT:15>, <NUM_LIT>, <NUM_LIT>, <NUM_LIT:0>, <NUM_LIT:0>, <NUM_LIT:0>))<EOL>return '<STR_LIT>' % (arkt, timestamp(t))<EOL>
Returns a human-readable timestamp given an Ark timestamp 'arct'.
    An Ark timestamp is the number of seconds since Genesis block,
    2017:03:21 15:55:44.