function swapon(imgnum){
      document.images[imgnum].src="img/navi_shadow.gif";
}
function swapoff(imgnum){
      document.images[imgnum].src="img/navi_dec.gif";
}