// JavaScript Document
function Mm_reloadPage(init) {  //reloads the window if Nav4 resized
  if (init==true) with (navigator) {if ((appName=="Netscape")&&(parseInt(appVersion)==4)) {
    document.Mm_pgW=innerWidth; document.Mm_pgH=innerHeight; onresize=Mm_reloadPage; }}
  else if (innerWidth!=document.Mm_pgW || innerHeight!=document.Mm_pgH) location.reload();
}
Mm_reloadPage(true);
//-------------------------------------------------------------------------------------------
function setVisible(obj, bool){

// see if it's a document id, if it's not, then it must be an obj reference
	if(typeof obj == "string")
		obj = document.getElementById(obj);

// if user chose false, then lets see if the obj needs to be hidden,
//and if it does, then hide it.
	
	if(bool == false){
		if(obj.style.visibility != 'hidden');
			obj.style.visibility = 'hidden';
		}

// the user chose true, or omitted the second parameter.
//see if the object is visible. If it isn't, the show it.

	else { 
		if(obj.style.visibility != 'visible');
		obj.style.visibility = 'visible';
	}
}
// ------------