procedure main()
write(1)
end