<!--
function pulldown(form) {
var mypull=form.dest.selectedIndex
window.open(form.dest.options[mypull].value, target="_blank");
}
//-->