USING: io formatting kernel strings math sequences ;
"Hello, World!" write
readln string>number