// JavaScript Document
function RefreshPage() {
	window.location.href = window.location.href;
}