// JavaScript Document

function preloadImages() {
var preloader=new Image();
preloader.src="(img/puce.gif)";
preloader.src="(img/pucedown.gif)";
}



function buttonMenuOver(name) {
var e=document.getElementById(name);
e.style.backgroundImage = "url(img/puce.gif)";
}

function buttonMenuDown(name) {
var e=document.getElementById(name);
e.style.backgroundImage = "url(img/pucedown.gif)";
}

function buttonMenuOut(name) {
var e=document.getElementById(name);
e.style.backgroundImage = "none";
}