var doc=null;
// set this variable to false to disable the logging window
var logOn=false;

function writeToLog(msg) {
if (!logOn) return;
try {
	var dest = doc.document.getElementById("log");
	if (dest != null) {
	  dest.insertAdjacentText("BeforeEnd", msg + "\n");
	}
	} catch (a) {
		// do nothing
	}
	doc.scrollBy(0,12);
}

function openLog() {
if (!logOn) return;
doc = open("logger.html");
}