while(0<1)printf("%tY/%<tm/%<td %<tT\n",1000L*(readInt-32400))