function resize_window(){  // move the window to 0,0 (X,Y)  window.moveTo(0, 0);  // resize the window to 800x600  window.resizeTo(800, 600);}resize_window();