function showIndex() {
	var oLink = document.createElement("link")
	oLink.href = "css/showindex.css";
	oLink.rel = "stylesheet";
	oLink.type = "text/css";
	document.body.appendChild(oLink);
	}
	
function hideIndex() {
	var oLink = document.createElement("link")
	oLink.href = "css/hideindex.css";
	oLink.rel = "stylesheet";
	oLink.type = "text/css";
	document.body.appendChild(oLink);
	}