function change(desc)

	{		var obj;
			obj = window.document.getElementById(desc); 
			obj.src = "images/menu/"+desc+"_over.gif";					
	}
	
function changeback(desc)

	{
			var obj;
			obj = window.document.getElementById(desc); 
			obj.src = "images/menu/"+desc+".gif";			
	}