
function toggleLayer(whichLayer) {
	if (document.getElementById)	// this is the way the standards work
		var style2 = document.getElementById(whichLayer).style;
	else if (document.all)	// this is the way old msie versions work
		var style2 = document.all[whichLayer].style;
	else if (document.layers)	// this is the way nn4 works
		var style2 = document.layers[whichLayer].style;
	style2.display == "block" ? style2.display = "none" : style2.display = "block";
}



 function land(ref, target)
 {
 lowtarget=target.toLowerCase();
 if (lowtarget=="_self") {window.location=loc;}
 else {if (lowtarget=="_top") {top.location=loc;}
 else {if (lowtarget=="_blank") {window.open(loc);}
 else {if (lowtarget=="_parent") {parent.location=loc;}
 else {parent.frames[target].location=loc;};
 }}}
 }
 function jump(menu)
 {
 ref=menu.choice.options[menu.choice.selectedIndex].value;
 splitc=ref.lastIndexOf("*");
 target="";
 if (splitc!=-1)
 {loc=ref.substring(0,splitc);
 target=ref.substring(splitc+1,1000);}
 else {loc=ref; target="_self";};
 if (ref != "") {land(loc,target);}
 }
