if (document.images) 
	{
	
	var nav7on = new Image;
	nav7on.src = "img/nav7_on.gif";
	var nav7off = new Image;
	nav7off.src = "img/nav7.gif";
	
	var nav6on = new Image;
	nav6on.src = "img/nav6_on.gif";
	var nav6off = new Image;
	nav6off.src = "img/nav6.gif";
	
	var nav5on = new Image;
	nav5on.src = "img/nav5_on.gif";
	var nav5off = new Image;
	nav5off.src = "img/nav5.gif";
	
	var nav4on = new Image;
	nav4on.src = "img/nav4_on.gif";
	var nav4off = new Image;
	nav4off.src = "img/nav4.gif";
	
	var nav3on = new Image;
	nav3on.src = "img/nav3_on.gif";
	var nav3off = new Image;
	nav3off.src = "img/nav3.gif";
	
	var nav2on = new Image;
	nav2on.src = "img/nav2_on.gif";
	var nav2off = new Image;
	nav2off.src = "img/nav2.gif";
	
	var nav1on = new Image;
	nav1on.src = "img/nav1_on.gif";
	var nav1off = new Image;
	nav1off.src = "img/nav1.gif";
	}
	
//these are the functions for swapping the image source

function imgOn(imgName){
if(document.images){
document[imgName].src = eval(imgName + "on.src");
}
} 

function imgOff(imgName){
if(document.images){
document[imgName].src = eval(imgName + "off.src");
}
}