// JavaScript Document

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



function buttonMenuOver(name) {
setBackground(name,"url(img/puce.gif)" );
}

function buttonMenuDown(name) {
setBackground(name,"url(img/pucedown.gif)" );
}

function buttonMenuOut(name) {
setBackground(name,"none" );
}



function setBackground(name, value) {
var e=document.getElementById(name);
e.style.backgroundImage = value;
}