function popup (url, w, h){
  return !(window.open (url, '', 'toolbar=0,location=0,directories=0,menubar=0,scrollbars=0,status=0,resizable=1,width='+w+',height='+h));
}

function ChangeInnerHTML (id, str){
  if (document.all) {
    document.all(id).innerHTML = str;
  }
  else if (document.getElementById) {
    document.getElementById(id).innerHTML = str;
  }
}