/x{(r)file 3000 string}def(%stdin)x readline pop x readstring pop =