4: for j = 1 ... 1 000 do