// drop menu redirect
function drop_menu_redirect (menu) {
  var page = menu.options[menu.selectedIndex].value;

  if (page) {
    document.location.href = page;
  }
}