procedure main() every*~~(n:=1to 1e4)=2&write(n) end