var bleu;
var backgroundcolor_out;
var backgroundcolor_over;
backgroundcolor_out = "";
backgroundcolor_over = "#232323";
//################################# MENU HAUT #################################
function rollover_menu_haut (document) {
	document.style.backgroundColor=backgroundcolor_over;
	//document.style.cursor='pointer';
}
function rollout_menu_haut (document) {
	document.style.backgroundColor=backgroundcolor_out;
	//document.style.cursor='pointer';
}
function rollover_actif_menu_haut (document) {
	document.style.backgroundColor=backgroundcolor_over;
	//document.style.cursor='pointer';

}
function rollout_actif_menu_haut (document) {
	document.style.backgroundColor=backgroundcolor_over;
	//document.style.cursor='pointer';
}