about_on = new Image();about_on.src = '../images/nav/about_on.gif';about_off = new Image();about_off.src = '../images/nav/about_off.gif';products_on = new Image();products_on.src = '../images/nav/products_on.gif';products_off = new Image();products_off.src = '../images/nav/products_off.gif';services_on = new Image();services_on.src = '../images/nav/services_on.gif';services_off = new Image();services_off.src = '../images/nav/services_off.gif';literature_on = new Image();literature_on.src = '../images/nav/literature_on.gif';literature_off = new Image();literature_off.src = '../images/nav/literature_off.gif';alliances_on = new Image();alliances_on.src = '../images/nav/alliances_on.gif';alliances_off = new Image();alliances_off.src = '../images/nav/alliances_off.gif';contact_on = new Image();contact_on.src = '../images/nav/contact_on.gif';contact_off = new Image();contact_off.src = '../images/nav/contact_off.gif';home_on = new Image();home_on.src = '../images/nav/home_on.gif';home_off = new Image();home_off.src = '../images/nav/home_off.gif';aOptions = new Array();aOptions[0] = 'about';aOptions[1] = 'products';aOptions[2] = 'services';aOptions[3] = 'literature';aOptions[4] = 'alliances';aOptions[5] = 'contact';aOptions[6] = 'home';var activeMenu = "";var isActive = "";var timeoutID = "";function turnOnMenu(itemName) {	resume();	if (activeMenu) {		turnOffImage(activeMenu);	}	activeMenu = itemName;	turnOnImage(itemName);}function turnOffMenu() {	resume();	timeoutID = setTimeout("resetMenus()", 300);}function turnOnImage(imgID) {	img = document.getElementById(imgID);	img.src = eval(imgID + "_on.src");	if (document.getElementById(imgID + "Submenu")) {		showMenu(document.getElementById(imgID + "Submenu"));	}}function turnOffImage(imgID) {	img = document.getElementById(imgID);	img.src = eval(imgID + "_off.src");	if (document.getElementById(imgID + "Submenu")) {		hideMenu(document.getElementById(imgID + "Submenu"));	}}function showMenu(menuObj) {	menuObj.style.visibility = "visible";}function hideMenu(menuObj) {	menuObj.style.visibility = "hidden";}function select(itemID) {	resume();	obj = document.getElementById(itemID);	if (obj.className != 'active') {		obj.className = 'active';	}}function deselect(itemID) {	resume();	obj = document.getElementById(itemID);	if (obj.className == 'active') {		obj.className = '';	}	// now we start the timer: if isActive is _still_ false, we're going to assume we haven't moved onto another item, and we can minimize the menu	timeoutID = setTimeout("resetMenus()", 300);}function resetMenus() {	if (isActive && activeMenu) {		turnOffImage(activeMenu);	}	activeMenu = "";}function resume() {	isActive = true;	clearTimeout(timeoutID);}