// JavaScript Document

function jumpBox(list) {
  var pagename;
  pagename = list.options[list.selectedIndex].value;
  window.open(pagename, 'newWin', 'toolbar=no, scrollbars=no, width=560, height=620');
}