from time import*
while~0:print strftime("%Y/%m/%d %X",gmtime(input()))