<!--
function takeShortcut() {
   var number   = document.forms['shortcuts'].jumpTo.selectedIndex;
   var url      = document.forms['shortcuts'].jumpTo.options[number].value; 
   if ( url != "none" ) {
      location.href = url;
   }
}
//-->