function reSize() {
  window.resizeTo(640,480);
  window.focus();
  }