// JavaScript Document


function resize_window( w, h )
	{
		window.resizeTo( w, h );
		
		document.forms[ 'form_mod' ].submit();
		
	}    //    end of function