for(;Q=readline().split('-');print(Q.toISOString().slice(0,10)))(Q=new Date(Q[0],Q[1])).setDate(5<(T=Q.getDay())||-T)