for(i<-1 to 999;j<-"@"if i%(j*8)==j*7)println(i)