//GESTION DU MENU

ow.scriptLoader("ow.ev.mouse");

//FONCTION POUR LA CREATION DES LIENS DU MENU
function init_menu()
{
	var menu = document.getElementById('div_menu');
	links = menu.getElementsByTagName('a');
	var links_ev = new Array();
	for (var i = 0; links[i]; i++) {
		links_ev[i] = new ow.ev.mouse(links[i]);
		links_ev[i].attach('click', domenu, links[i].id.replace('div_menu_', ''), '&title='+escape(links[i].innerHTML));
		links_ev[i].attach('click', changemenucolor, links[i], links);
	}
}