function MOver(i)
  {
  document.images[i].src = b_dot.src;
  document.images[i-1].src = b_hand.src;
  }

function MOut(i)
  {
  document.images[i].src = a_dot.src;
  document.images[i-1].src = a_hand.src;
  }

function WOpen(file)
  {
  window.open(file,"F2","height=500,width=600,screenX=0,screenY=0,dependent=yes,resizable=yes,scrollbars=yes");
  f2.focus();
  }