for(;_=readline();)_>12||print(_,new Date(_,~-_).toLocaleFormat("%B"))