<!--
var application;

JS = {};

JS.dbg = function(msg)
{
	document.getElementById("debug").innerHTML = msg;
}

-->