function DPG() {	// Don't Pass Go
  if(window.location != top.location) top.location.href = window.location;
}

function jumpTop(fname,sname) {
  var i = document.forms[fname].elements[sname].selectedIndex;
  var newurl = 'http://' + location.hostname + location.pathname +
               '#' + document.forms.links.elements.go2.options[i].value;
  top.location.href = newurl;
}