/*
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";
   }
}