function bigger()
  {
  var x=document.getElementById("game")
  x.width=650;
  x.height=525;
  //var h=document.getElementById("right")
  //h.style.display="none";
  return false;
  }
  
  function medium()
  {
  var x=document.getElementById("game")
  x.width=550;
  x.height=475;
  //var h=document.getElementById("right")
  //h.style.display="none";
  return false;
  }
  
 function smaller()
  {
  var x=document.getElementById("game")
  x.width=425;
  x.height=350;
  //var h=document.getElementById("right")
  //h.style.display="inline";
  return false;
  }