procedure main()
every|write(+("8r"||map(read(),5678,4567)))
end