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