import java.util.*;enum U{U;System z;{for(Scanner s=new Scanner(z.in);s==s;)z.out.printf("%tY/%<tm/%<td %<tT\n",(s.nextLong()-32400)*1000);}}