function swapimage(id){
	  document.getElementById(id).src="images/" + id + "_up.gif";
	}
	
	function swapimageback(id){
	  document.getElementById(id).src="images/" + id + "_ovr.gif";
	}