function popup(id)
  {
    e = document.getElementById(id);
    if (e) {
      e.style.visibility = 'visible';
    } else {
      alert('program error - '+id+' not exist');
    }
  }
  function popdn(id)
  {
    e = document.getElementById(id);
    if (e) {
      e.style.visibility = 'hidden';
    } else {
      alert('program error - '+id+' not exist');
    }
  }
  function hide_hand(n)
  {
    if (n > 0) {
      window.setTimeout("hide_hand(0)",n);
    } else {
      popdn("hand");
    }
  }