// JavaScript Document
if(document.images) {
pics = new Array(); 
pics[1] = new Image();
pics[1].src = "menu__b2.gif"; 
pics[2] = new Image();
pics[2].src = "menu__b2_over.gif";
pics[3] = new Image();
pics[3].src = "menu__b3.gif"; 
pics[4] = new Image();
pics[4].src = "menu__b3_over.gif"; 
}
function changer(from,to) {
if(document.images) {
document.images[from].src = pics[to].src;
}
}