<!--
 function imageLoad() {
        nav1u = new Image(); nav1u.src = "img/nav1u.gif";
        nav1d = new Image(); nav1d.src = "img/nav1d.gif";
        nav2u = new Image(); nav2u.src = "img/nav2u.gif";
        nav2d = new Image(); nav2d.src = "img/nav2d.gif";
        nav3u = new Image(); nav3u.src = "img/nav3u.gif";
        nav3d = new Image(); nav3d.src = "img/nav3d.gif";
        nav4u = new Image(); nav4u.src = "img/nav4u.gif";
        nav4d = new Image(); nav4d.src = "img/nav4d.gif";
        nav5u = new Image(); nav5u.src = "img/nav5u.gif";
        nav5d = new Image(); nav5d.src = "img/nav5d.gif";
        nav6u = new Image(); nav6u.src = "img/nav6u.gif";
        nav6d = new Image(); nav6d.src = "img/nav6d.gif";
        return (flag = true);  // set the flag and let the function know know it can work
}

function buttondown(buttonname) {
  if (document.images)
    document.images[buttonname].src = eval(buttonname + "d.src");
}

function buttonup(buttonname) {
  if (document.images) 
    document.images[buttonname].src = eval(buttonname + "u.src");
}