var time = null
	function reload() {
		window.location = 'index.php'
	}
	
	function error_page(msg) {
		//alert(msg);
		window.location = 'logs/error_display_page.php?msg=' + msg;
	}
	
	function goto_instructor_page() {
		window.location = "instructor/main.php";
	}