/*
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 divstyle = new String();
divstyle = document.getElementById( id ).style.display;
if ( divstyle.toLowerCase() == "block" )
   {
   document.getElementById( id ).style.display = "none";
   }
else
   {
   document.getElementById( id ).style.display = "block";
   }
}