// JavaScript Document

function majmenu(num) {
	document.getElementById("accueil").src="images/accueil.jpg";
	document.getElementById("boutique").src="images/boutique.jpg";
	document.getElementById("real").src="images/real.jpg";
	document.getElementById("contact").src="images/contact.jpg";
	if (num == 1) document.getElementById("accueil").src="images/accueil_on.jpg";
	if (num == 2) document.getElementById("boutique").src="images/boutique_on.jpg";
	if (num == 3) document.getElementById("real").src="images/real_on.jpg";
	if (num == 4) document.getElementById("contact").src="images/contact_on.jpg";
}