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