		<!--//  
		var dir = "img/";
		var nav_1_off = new Image(); nav_1_off.src = dir + "nav_1_off.gif";
		var nav_1_on = new Image(); nav_1_on.src = dir + "nav_1_on.gif";
		var nav_2_off = new Image(); nav_2_off.src = dir + "nav_2_off.gif";
		var nav_2_on = new Image(); nav_2_on.src = dir + "nav_2_on.gif";
		var nav_3_off = new Image(); nav_3_off.src = dir + "nav_3_off.gif";
		var nav_3_on = new Image(); nav_3_on.src = dir + "nav_3_on.gif";
		var nav_4_off = new Image(); nav_4_off.src = dir + "nav_4_off.gif";
		var nav_4_on = new Image(); nav_4_on.src = dir + "nav_4_on.gif";
		
		function swap(theID, stat) {
			document.images[theID].src = dir + theID + "_" + stat + ".gif";
		}
		//-->