// menu system

function prenav (){
i1 = new Image();
i1.src = "images/navover_01.gif";
i2 = new Image();
i2.src = "images/navover_02.gif";
i3 = new Image();
i3.src = "images/navover_03.gif";
i4 = new Image();
i4.src = "images/navover_04.gif";
i5 = new Image();
i5.src = "images/navover_05.gif";
i6 = new Image();
i6.src = "images/navover_06.gif";
i7 = new Image();
i7.src = "images/navover_07.gif";
}

function rl(imgDocID,imgObjName) {

document.images[imgDocID].src = "images/nav" + imgObjName + ".gif"
}