let i = 10000
while (i) do
  i=i-1