function reloadDocument() {
	window.location.href = window.location.href;
}