function over(id)
	{
	document.getElementById(id).src="gfx/"+id+"_a.gif";
	
	};     
function out(id)
	{
	document.getElementById(id).src="gfx/"+id+"_na.gif";
	};