for(;$=readline();print(new Date($-(y>1?y>12?y>14?y>16?y>17?y>21?y>26?y>28?y>35?23:22:y-6:y-5:y-4:y-3:y-2:y-1:y:0)*1e3).toLocaleFormat('%Y-%m-%d %H:%M:%S')))y=new Date($*=1e3).getYear()-71