function swapon(what, which)
{
   document.images[what].src = "img/navigr" + which + ".gif";
}

function swapoff(what, which)
{
   document.images[what].src = "img/navig" + which + ".gif";
}