<!--
function dosearch() {
  document.searchform.submit();
}

function lookup(curl,nheight,nwidth) {
  window.open(curl,"","width="+nwidth+",height="+nheight+",status=no,toolbar=no,menubar=no")
}
//-->