function HMI_over() {
HMI_state(this,2);
}
function HMI_out() {
HMI_state(this,1);
}
function HMI_down() {
HMI_state(this,3);
}
function HMI_state(bouton,state){
src=bouton.src
src=src.substring(0,src.length-5);
src+=state;
bouton.src=src+'.gif';
}
function HMI_init(id_HMI) {
HMI=document.getElementById(id_HMI);
HMI.onmouseover = HMI_over;
HMI.onmouseout = HMI_out;
HMI.onmousedown= HMI_down;
}