// JavaScript Document

function menu(id)
{
	//document.write(id);
	document.getElementById(id).src = 'images/menu/' + id + '.gif';	
}

function menuactif(id)
{
	//document.write(id);
	document.getElementById(id).src = 'images/menu/' + id + '-hover.gif';	
}