function select(m_id, m_href, m_target) {
//selection d'un element du menu
//attention d'avoir déclaré la variable num_items dans la page contenant le menu...
	for (i=1; i<num_items+1; i++) {
		document.getElementById('item_' + i).className='menu_normal';
		document.getElementById('item_' + i).selected=false;	
	}
	document.getElementById(m_id).selected = true;
	document.getElementById(m_id).className='menu_selected';
	eval(m_target+".location='"+m_href+"'");
}

function rollover(m_id) {
//rollover sur un element du menu
	if (document.getElementById(m_id).selected != true) {
		document.getElementById(m_id).className='menu_over';	
	}
}

function rollout(m_id) {
//rollout sur un element du menu
	if (document.getElementById(m_id).selected != true) {
		document.getElementById(m_id).className='menu_normal';	
	}
}