procedure main()
   while writes(reads(,1000))
end