function nav()
   {
   var w = document.shortcut_releases.list_releases.selectedIndex;
   var url_add = document.shortcut_releases.list_releases.options[w].value;
   window.location.href = url_add;
   }