i=hash(raw_input())/133&7
n=0
exec"m=31^n%7%2^4>>n&2;n+=1;s='%02d:'%n\nwhile m/i:s+=' %02d'%i;i+=7\ni-=m;print s;"*12