function coverPage() {
	document.getElementById("page-cover").style.display = "block";
	document.getElementById("page-menu").style.display = "block";
}
function uncoverPage() {
	document.getElementById("page-cover").style.display = "none";
	document.getElementById("page-menu").style.display = "none";
}
function logout()
{
	loc = document.location.href.substring(document.location.href.indexOf("index.php"),document.location.href.length);
	alert("You have been logged out for 10 minutes of inactivity. You will be taken to the login screen now.");
	document.location.href='index.php?function=logout';
}