print"happy",["(:","('-' )","d:M"][id(id)%3],"new",raw_input(),"year!"