d=hash(raw_input())%13%7 w=1;s=a='%02d:';exec"s+=' %02d'%-~d;d+=7;d%=30+w/8^w&2/w+1\nif d<7:print s%w;w+=1;s=a\n"*52