procedure main()
while write(+("8R"||map(read(),5678,4567)))
end