for(;r=readline();print(new Date(r-324e5-1e3*(y>1?y>28?y>35?23:22:y-(y>12)-(y>14)-(y>16)-(y>17)-(y>21)-(y>26):0)).toLocaleFormat('%Y-%m-%d %T')))y=new Date(r*=1e3).getYear()-71
Note that non-ascii characters in the above source code will be escaped (such as \x9f).