procedure main() write(2*read()) end