function selfResize( x , y ) {
  window.resizeTo( x , y );
}

function resize( ) {
  selfResize( 870 , 800 );
}
