var input=""; var line=""; while (true){ line=readline(); if (line=="END") break; if (line!="") { input += line; input += "\n"; } }