pic1off = new Image();
	pic1off.src = "docs/all/nav_1.gif";
	pic1on = new Image();
	pic1on.src = "docs/1/nav_1_hi.gif";
	
	pic2off = new Image();
	pic2off.src = "docs/all/nav_2.gif";
	pic2on = new Image();
	pic2on.src = "docs/2/nav_2_hi.gif";
	
	pic3off = new Image();
	pic3off.src = "docs/all/nav_3.gif";
	pic3on = new Image();
	pic3on.src = "docs/3/nav_3_hi.gif";
	
	pic4off = new Image();
	pic4off.src = "docs/all/nav_4.gif";
	pic4on = new Image();
	pic4on.src = "docs/4/nav_4_hi.gif";
	
	pic5off = new Image();
	pic5off.src = "docs/all/nav_5.gif";
	pic5on = new Image();
	pic5on.src = "docs/5/nav_5_hi.gif";
	
	pic6off = new Image();
	pic6off.src = "docs/all/nav_6.gif";
	pic6on = new Image();
	pic6on.src = "docs/6/nav_6_hi.gif";
	
	function img_act(imgName,PicName){
		document [PicName].src = eval(imgName + ".src");
	}
	
	function img_inact(imgName,PicName){
		document [PicName].src = eval(imgName + ".src");
	}
	
	function showHide(IDlayer,attrib) {
		if (attrib==0) document.getElementById(IDlayer).style.visibility = "hidden"
		else document.getElementById(IDlayer).style.visibility = "visible"
	}