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