// Hide from java-poor browsers

// ButtonJava.js

	var factOn = new Image();							// On Images
		factOn.src = "./new_images/factsheetshortroll.gif";
	var glossaryOn = new Image();
		glossaryOn.src = "./new_images/glossaryshortroll.gif";
	var homeOn = new Image();
		homeOn.src = "./new_images/guidehomeshortroll.gif";
	var searchOn = new Image();
		searchOn.src = "./new_images/searchshortroll.gif";
	var searchIEOn = new Image();
		searchIEOn.src = "./new_images/searchshortroll.gif";	


	var factOff = new Image();							// Off Images
		factOff.src = "./new_images/factsheetshort.gif";
	var glossaryOff = new Image();
		glossaryOff.src = "./new_images/glossaryshort.gif";
	var homeOff = new Image();
		homeOff.src = "./new_images/guidehomeshort.gif";
	var searchOff = new Image();
		searchOff.src = "./new_images/searchshort.gif";
	var searchIEOff = new Image();
		searchIEOff.src = "./new_images/searchshort.gif";	


function act(imgName) {
	if (document.images) 
		document[imgName].src = eval(imgName + "On.src");

    }

function inact(imgName) {
	if (document.images)
		document[imgName].src = eval(imgName + "Off.src");

	}
	
function randomMain(max) {
  var now = new Date();
  var n = now.getSeconds() % max + 1;
  return n;
  
}
//