<!--

var defaultContent = "";

// runds on page load
// sets HTML content of 'content' div according to string that comes after '#' in the URL
function setPage(element) {
	// pulls HTML content from 'content' div so it can be replaced into that div again later
	defaultContent = document.getElementById(element).innerHTML;

	var url = window.location.toString();
	if (url.indexOf('#') != -1) {
		var page = url.split('#')[1];
		document.getElementById(element).innerHTML = document.getElementById(page).innerHTML;
	}
}

// changes content HTML in 'content' div when page navigation links are clicked
function changeContent(element, content) {
	var toDisplay;
	if (content == "content") {
		toDisplay = defaultContent;
	}
	else {
		toDisplay = document.getElementById(content).innerHTML;
	}
	document.getElementById(element).innerHTML = toDisplay;
}

//-->