// popup utility
function popWindow(file, width, height) {
  newWindow = window.open(file,'newWindow','toolbar=no,menubar=no,resizable=yes,scrollbars=yes,status=no,dependent=yes,left=40,top=40,width='+width+',height='+height);
  newWindow.focus();
}

// defines iframe html and lower toolbar images (if necessary)
function set_iframe(name) {
  document.getElementById("index_iframe").src = name;
}

// jumps a page to the dropdown selection, and focuses back on dropdown component
function jump(e) {
  document.location.href = e.options[e.selectedIndex].value;
  e.focus();
}