a=c(249:0,0:249)
cat((a>12)*7+a)