// Mechanism for image-swapping on mouseover/outs
	
	// Array of valid images
	// Edit this to add/delete/rename images
	// Assumptions: image files end in the form "-on.gif" or "-off.gif"
	// and are in the imageDir directory
	var imageDir = "graphics/";
	var onSuffix = "-on.gif";
	var offSuffix = "-off.gif";
	var Images = new Array();
	Images["home"] = "btnhome";
	Images["news"] = "btnnews";
	Images["calendar"] = "btncalendar";
	Images["bio"] = "btnbio";
	Images["examples"] = "btnexamples";
	Images["links"] ="btnlinks";

	// Indicator switching 
	

	function buttonControl(state, buttonname) {
		// alert('Button: ' + buttonname + ' is in state ' + state);
		var button = document.getElementById(buttonname);

		if (state == "on")
			var btnPath = imageDir +  Images[buttonname] + onSuffix;
		else
			var btnPath = imageDir + Images[buttonname] + offSuffix;
		//alert('Button: ' + buttonname + ' has path ' + btnPath);

		button.src = btnPath;
	}