function sanitize(s) { return s.replaceAll("&", "&") .replaceAll("<", "<") .replaceAll(">", ">") .replaceAll("\n", ""); } writeln("