// <![CDATA[

function navigateToShortcut(obj) {
  url = obj.options[obj.selectedIndex].value;
  if (url != '') {
    location.href = url;
  }
}

function downloadFile(select) {
  obj = document.getElementById(select);
  navigateToShortcut(obj);
}

// ]]>