// Images alternatives du menu mouse-over ( imagesource-off.ext => imagesource-on.ext )
function menuover(idimage)			   
{
var source = document.getElementById(idimage).src;
var motif = "(.*)-off(\.+(png|gif))";
var remp = new RegExp( motif, "gi") ;
var resultat = source.replace( remp, "$1-on$2" ) ;
if ( source.search( remp ) != -1 )
{
	document.getElementById(idimage).src = resultat;
}
}

function menuout(idimage)
{
var source = document.getElementById(idimage).src;
var motif = "(.*)-on(\.+(png|gif))";
var remp = new RegExp( motif, "gi") ;
var resultat = source.replace( remp, "$1-off$2" ) ;
if ( source.search( remp ) != -1 )
{
	document.getElementById(idimage).src = resultat;
}
}