var d=15-readLine()(0)%15
("":\1){(c,m)=>printf("%02d:",m)
while(d<=c)printf(" %02d",d,d+=7)
println
d-=c
m+1}