<!--
if (document.images) {
        tickOff = new Image();
        tickOff.src = "/gfx/pixel.gif";
        tickOn = new Image();
        tickOn.src = "/gfx/nav-tick-on.gif";

}


function navMsOver(num) {
        if (document.images) {
                document.images["nav"+num].src = tickOn.src;
        }
}

function navMsOut(num) {
        if (document.images) {
                document.images["nav"+num].src = tickOff.src
        }
}

//-->