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