function over(change,name){
	if(navigator.appName.toLowerCase() == 'netscape' && navigator.appVersion.substring(0,3) < 5.0)
		{
		window.PageRest.document.images[name].src="images/" + change + ".gif";
		}
		else{
		window.document.images[name].src="images/" + change + ".gif";
		}
	}