from calendar import*
while~0:s=raw_input();f=zip(*monthcalendar(*map(int,s.split('-'))))[-3];print s+"-"+`f[-1]or f[-2]`