// Last edit: 2010 Mar 31, 17:58:46
function append_debug( debug_str )
{
  var dbb = document.getElementById("debugbox");
  // if( !dbb ){ return; }
  if( !dbb )
  {
    var div = document.createElement('div');
    div.className="debugbox";
    div.id="debugbox";
    document.getElementsByTagName('body')[0].appendChild(div);
    dbb = document.getElementById("debugbox");
  }
  dbb.innerHTML+=debug_str+"<br>\n";
} // END function append_debug( debug_str )