#!/usr/bin/python

import sys, time

while 1:
	str = sys.stdin.readline()
	if str == "":
		break
	print time.strftime("%d %b %H:%M:%S"), " ", str,