// Cette fonction sert à loader l'image du background du menu. Elle doit être appelé dans le body par un "onLoad="menu_init()"
function preload(){
	MM_preloadImages('../images/banner_background.gif','../images/banner.gif');
}

// Cette fonction sert à préloader une image avant qu'elle soit appelée sur une page
function MM_preloadImages() { //v3.0
	var d=document; 
	if(d.images) { 
		if(!d.MM_p) 
			d.MM_p=new Array();
		var i,j=d.MM_p.length,a=MM_preloadImages.arguments; 
		for(i=0; i<a.length; i++) {
			if (a[i].indexOf("#")!=0) { 
				d.MM_p[j]=new Image; 
				d.MM_p[j++].src=a[i];
			}
		}
	}
}