/* Reload the browser on resize */
function ResizeWindow()
{
	window.location.reload();
}

/* Reload mainpage with user information */
function reloadMainPage()
{
	location.href = document.location;
}