win.print = function() {
var accum = [];
for (var i = 0; i != arguments.length; i++)
accum.push(String(arguments[i]));
var joined = accum.join("");
env.output(DIV(null, preNewline != "\n" ? joined.replace(/\n/g, preNewline) : joined));
};