ACM Warmup Problem - 1000 Seconds

After many years of research, chemistry professor I. M. Sosmart has discovered a new method of developing Formula X. However, the new formulation of Formula X, for reasons not yet clear to science, degrades into a collection of noxious compounds after exactly 1000 seconds.

Professor Sosmart has gotten his lab slaves (a.k.a. "graduate students") to carefully and meticulously label the exact creation time of each vial of the new Formula X. However, nobody has been very good about labelling the expiration times.

It falls to you, oh ACM'er, to write a program that reads in the creation times of the vials and prints out the expiration times for each vial, in order.

Input format

Sample inputs will be of the form, "Sunday, June 5 2005 14:56:45". There will be one input per line. You will read in each line until end of input (EOF).

Output format

You will print out one line for each valid line of input. That line will be in the format "Sun Jun 5 14:56:45 2005", but represent the time exactly 1000 seconds later. You do not need to handle any times before 1970.