
		<!--
		buttonImg=new Array();
		for (i=0; i<=200; i++){
		buttonImg[i] = new Image();
		buttonImg[i].src = "index/button_" + i + "_on.gif";
		}
		
		function imageOn(n){
		document.images['menu'+n].src = buttonImg[n].src
		}
		function imageOff(n){
		document.images['menu'+n].src = "index/button_" + n + "_off.gif"
		}
		//-->
		
		
		<!--	
		browserName = navigator.appName;
browserVer = parseInt(navigator.appVersion);

ns3up = (browserName == "Netscape" && browserVer >= 3);
ie4up = (browserName.indexOf("Microsoft") >= 0 && browserVer >= 4);

function doPic(imgName) {
if (ns3up || ie4up) {
imgOn = ("" + imgName);
document.worksph.src = imgOn;
   }
}


//-->