function getPage(page)
{
	$('result').load(page + '?ajax=1');	
}
function setPageHeight(value)
{
	if(value)
	{
		minHeight = value;
		window.onresize();
	}
}
function backToTop()
{
	window.scrollTo(0,0);
}
function setPageTitle(value)
{
	document.title = value;
}