/*
this stuff is used for the expanding/contracting navigation in e.g. annual reviews and other XML-based
reports. hideForJavascripters is typically called on document load
Some styles are usually set before e.g. 
		.hideme
		{
			
		}
		.showme
		{
						
		}

*/
		var showing=""

		function hideMenu(){
			if(showing != ""){
				Browser.ObjRef(showing).className="hideme"
			}
			showing = ""
		}

		function showMenu(which){
				Browser.ObjRef(which).className="showme"
			showing = which
		}
		
		function hideForJavascripters(){
			document.styleSheets[0].rules[1].style.display="none"
		}
		

var what = ""

function show1(which){
what=which
		if(document.getElementById){
			document.getElementById(which).style.visibility="visible"
			}
}

function hide1(){
	if(what!=""){
		if(document.getElementById){
			document.getElementById(what).style.visibility="hidden"
		}
	}
}