var logElementId = null;
var logElement = null;
function log(msg) {
	try {
	if(logElementId != undefined) {
		if(logElement == undefined) logElement = document.getElementById(logElementId);
		logElement.appendChild(document.createTextNode(msg+"\n"));
		logElement.appendChild(document.createElement('br'));
	}
	} catch(ex)	{/*ignore*/}
}