// global variables (one per image to store highlighted version)
// (these are not used again, since the image is cached.)
if (document.images) {
	var home1a = new Image();
	home1a.src = "../images/buttons/home_off.gif"
	var educators1a = new Image();
	educators1a.src = "../images/buttons/national_off.gif"
	var schools1a = new Image();
	schools1a.src = "../images/buttons/twin_cities_off.gif"
	var events1a = new Image();
	events1a.src = "../images/buttons/events_off.gif"
	var games1a = new Image();
	games1a.src = "../images/buttons/games_off.gif"
	var updates1a = new Image();
	updates1a.src = "../images/buttons/notes_from_jack_off.gif"

	var home1b = new Image();
	home1b.src = "../images/buttons/home_on.gif"
	var educators1b = new Image();
	educators1b.src = "../images/buttons/national_on.gif"
	var schools1b = new Image();
	schools1b.src = "../images/buttons/twin_cities_on.gif"
	var events1b = new Image();
	events1b.src = "../images/buttons/events_on.gif"
	var games1b = new Image();
	games1b.src = "../images/buttons/games_on.gif"
	var updates1b = new Image();
	updates1b.src = "../images/buttons/notes_from_jack_on.gif"

	}

	// highlight a link
	function highlight(img) {
	          if (document.images) 
	            document[img].src = eval(img + 'b.src')
	       }

	// un-highlight a link

	function unhighlight(img) {
	          if (document.images)
	            document[img].src = eval(img + 'a.src')
	        }