import std.stdio;void main(){auto s=readln;writef("happy %s new %s year!",["('-' )","d:M","(:"][*s%4],s);}