function resize()  {
  	window.resizeTo(720, 590);
}