/*
Common JavaScript functions that may be called by any page ... 
*/
function open_window( url, name, opt )
{
var w = window.open( url, name, opt );
}

function help_window( url, name )
{
var w = window.open( url, name, "width=500,height=450,scrollbars=yes,resizable=yes,menubar=no,location=no,personalbar=no,titlebar=no,toolbar=no,status=yes" );
}

function toggle_div( id )
{
var e = document.getElementById( id );
if ( e )
   {
   var ds = e.style.display;
   if ( ! ds )
      {
      ds = new String();
      }
   if ( ds.toLowerCase() == "block" )
      {
      e.style.display = "none";
      }
   else
      {
      e.style.display = "block";
      }
   }
}