<!-- Begin
function nav()
   {
   var w = document.jump.jumplist.selectedIndex;
   var url_add = document.jump.jumplist.options[w].value;
   window.location.href = url_add;
   }

function nav2()
   {
   var w = document.jump2.jumplist2.selectedIndex;
   var url_add = document.jump2.jumplist2.options[w].value;
   window.location.href = url_add;
   }

// End -->