let rec($)i j=i>999||j=j/4*4&i$j/4||(j mod 8=7&()=Printf.printf"%d
"i;i+1$i+1);;7$7