function refresh_page() {
	location.href = "<?php echo $_SERVER['REQUEST_URI']; ?>";
}