// JavaScript Document
<!--
if (document.images) {
	SrcArr = new Array ("products","applications","support","company","purchase");
	ImgArr = new Array ();
	for (i in SrcArr) {
		ImgArr[i] = new Image ();
		ImgArr[i].src =  "img/_local/menu/m_"+SrcArr[i] + "_over.gif";
	}
}

function mnu(imgsrc,ImVsbl) {
	document.images[imgsrc].src = "img/_local/menu/m_"+imgsrc+(ImVsbl ? "_over" : "")+".gif";
}

-->