// JavaScript Document

//Pre-Cache the images
var navItem = new Array();
	navItem[0] = "nav_filtration";
	navItem[1] = "nav_dryClean";
	navItem[2] = "nav_wetClean";
	navItem[3] = "nav_features";
	navItem[4] = "nav_cleaning";
	navItem[5] = "nav_distinction";
	
	
if (document.images) {
	var imageOff = new Object();
	for (i=0; i< navItem.length; i++) {
		/* imageOff[navItem[i]] = new Image(72, 267); Works better (loads faster) with the size. But these are all different sizes */
		imageOff[navItem[i]] = new Image();
		imageOff[navItem[i]].src = "images/"+navItem[i]+".gif";
		}
	var imageOn = new Object();	
	for (h=0; h< navItem.length; h++) {
		imageOn[navItem[h]] = new Image();
		imageOn[navItem[h]].src = "images/"+navItem[h]+"-over.gif";
	}
}
	
//Swap image function
function setImage(imgID, type) {
	if (document.images) {
		if (type == "on") {
			document.getElementById(imgID).src = imageOn[imgID].src;
			return true;
		} else if (type == "off") {
			document.getElementById(imgID).src = imageOff[imgID].src;
			return true;
			}
		}
		return false;
	}