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