function serviceover(nom)
	{
		document[nom].src = '/images/'+nom+'_nav2.gif';
	}

function serviceout(nom)
	{
		document[nom].src = '/images/'+nom+'_nav1.gif';
	}


function navover(nom)
	{
		document[nom].src = '/images/'+nom+'_nav2.jpg';
	}

function navout(nom)
	{
		document[nom].src = '/images/'+nom+'_nav1.jpg';
	}