function entsub(event,ourform) {if (event && event.which == 13) ourform.submit();  else    return true;}
function popup(url) {
  
  ok = window.open(url,'',args);
  if (ok) return false;
  else return true;
}