function refreshPage()
{
	document.location.reload();
}