// Logging

var gLoggingDiv = null;

function SetupLog() {
	var div = document.getElementById('StatusLog');
	
	if (!div)
		div = document.createElement("div");
		
	var body = document.getElementsByTagName("body")[0];
	body.appendChild(div);
	gLoggingDiv = div;
}

function AppendLog(msg) {
	if (!gLoggingDiv)
		SetupLog();
	
	var br = document.createElement("br");
	var text = document.createTextNode(msg);
	gLoggingDiv.appendChild(text);
	gLoggingDiv.appendChild(br);
}