procedure main() every writes(-(-82to-1)) end