// Last edit: 2009 Aug 08, 12:34:44
function append_debug( debug_str )
{
  dbb = document.getElementById("debugbox");
  if( !dbb ){ return; }
  dbb.innerHTML+=debug_str+"<br>\n";
} // END function append_debug( debug_str )
function showhide_div(div_id,control_el, msg_show, msg_hide)
{
  dbb = document.getElementById(div_id);
  if( !dbb ){ return; }
  disp = dbb.style.display;
  if( disp != "none" )
  {
      dbb.style.display="none";
      control_el.innerHTML=msg_show;
  }
  else
  {
      dbb.style.display="block";
      control_el.innerHTML=msg_hide;
  }
} // END function showhide_div()