#!/usr/bin/python

import time
import string

while 1:
    try:
        line = raw_input()
    except EOFError:
        break
    spl = line.split(':')
    if len(spl) > 1:
        try:
	    print time.ctime(int(spl[0])), ":", spl[1]
	except ValueError:
	    print line
    else:
        print line