// JavaScript Document
//make an array of image names, then use these in the names of the gifs (eg. nav_name.gif, nav_name_over.gif etc.) AND as the names of the images themselves. Make sure that navImgOn[nam].src and navImgOff[nam].src match the image names.

ns4 = (document.layers)? true:false;
ie4 = (document.all)? true:false;
W3C = document.getElementById ? 1 : 0;

var imgID = new Array('intro','seminars','arts','intellect','west','franke','shulman','summer','dus','whc','directed','senior','faq','alumni','blog');
var navImgOn = new Array();
var navImgOff = new Array();

function cacheImages(){
	for(i=0;i<imgID.length;i++){
		var nam = imgID[i];
		navImgOn[nam] = new Image;
		navImgOn[nam].src = "images/nav/nav_"+nam+"_over.gif";
		navImgOff[nam] = new Image;
		navImgOff[nam].src = "images/nav/nav_"+nam+"_off.gif";
	}
}

function rollOn(nam){
	document.images[nam].src=navImgOn[nam].src;
	return true;
}

function rollOff(nam){
	document.images[nam].src=navImgOff[nam].src;
	return true;
}