if (document.images) { 
var img11e = new Image(); img11e.src = "./en_images/navi_n1.gif";
var img12e = new Image(); img12e.src = "./en_images/navi_h2.gif";
var img13e = new Image(); img13e.src = "./en_images/navi_h3.gif";
var img14e = new Image(); img14e.src = "./en_images/navi_h4.gif";
}
function chg(e, f) { e.src = f;}
function chgover(match,gif) { if (document.images) { document.images[match].src = gif;}}