function menuHaut(elements){
	elements = elements.split('|');
	for (i=0; i <elements.length; i++){
		element = elements[i].split(',');
		if (isset(document.getElementById(element[0])) && isset(element[1])){
			document.getElementById(element[0]).className = element[1];
		}else{
			document.getElementById(element[0]).className = '';
		}
	}
}