// JavaScript Document
<!--
button1 = new Image();
button1.src = "images/btnaccueil_h.gif";
button2 = new Image();
button2.src = "images/btnpresentation_h.gif";
button3 = new Image();
button3.src = "images/btnlocalisation_h.gif";
button4 = new Image();
button4.src = "images/btnactivites_h.gif";
button5 = new Image();
button5.src = "images/btncontact_h.gif";
//-->