var debugDiv=null;
function debug(s){
	//debugDiv.innerHTML+=s+"<br/>";
	//debugDiv.scrollTop=debugDiv.scrollHeight;
}
function debugInit(){
	debugDiv=document.getElementById("debug");
	//debugDiv.style="position:absolute;z-index:100;top:0;right:0;overflow:auto;width:20em;padding:1em;font-size:0.8em;line-height:1em;border:1px solid black;background:white;color:black;";
}