function imageSwitch(imageName,state){
document.images[imageName].src="images/nav_" + imageName + "_" + state + ".gif";
}