var debugON = false;
var debugNode = null;
function debug(str) {
  if (debugON) {
    if (debugNode==null) {
      debugNode=document.createElement("div");
      debugNode.style.visibility="visible";
      debugNode.style.backgroundColor="red";
      debugNode.innerHTML="Debug:<br/>";
      document.body.appendChild(debugNode);
      debugNode.style.position="absolute";
      debugNode.style.top="0px";
    }
    str=new Date()+": "+str;
    debugNode.innerHTML=debugNode.innerHTML+"<font color='white'>"+str+"</font><br/>";
  }
}