String.prototype.trim=function(){return this.replace(/^\s+|\s+$/,'');};
function disable(s){
  s.disabled='disabled';
}
function popup(loc,id,w,h){
  window.open(loc,id,'width='+w+',height='+h
    +',directories=no,location=no,menubar=no,status=no,toolbar=no');
  return false;
}