// $Id: common.js,v 1.2 2001/11/02 22:03:01 ben Exp $

function popup(page, name, w, h, scroll, resize) {
  var winl = (screen.width - w) / 2; var wint = (screen.height - h) / 2;
  winprop = 'height='+h+',width='+w+',top='+wint+',left='+winl+',scrollbars='+scroll+',resizable='+resize;
  win = window.open(page, name, winprop);
  if (parseInt(navigator.appVersion) >= 4) { win.window.focus(); }
} // popup

function trim(s) { var s1; s1=s.replace(/^\s+/,''); s=s1.replace(/\s+$/,''); return s; }