function WriteLine(ln) {
	document.writeln(ln);
}