var b,i=0 for(c<-io.Source.stdin){b&=c%31 i+=b print((c+" : $ * ")(b+b*i%12)) b|=c%2}