window.resizeWindow = function(){};

window.startupCode = function()
{
	window.resizeWindow();
};

/*@cc_on
	window.screenHeight = 0;

	window.resizeWindow = function()
	{
		setTimeout("window.resizeWindow();", 10);

		if(window.screenHeight == window.document.body.clientHeight)
			return;

		window.screenHeight = window.document.body.clientHeight;

		if(window.main_box == null)
			window.main_box = window.document.getElementById('main_box');

		window.main_box.style.height = "auto";
		var height = parseInt(window.main_box.offsetHeight.toString());
		if(height < 725)
			height = 725;
		window.main_box.style.height = height + "px";
	};
@*/