var showingDoc = "";

	function showDoc(doc) {
		document.getElementById("doc" + showingDoc).style.display = "none";
		document.getElementById("doc" + doc).style.display = "";
		showingDoc = doc;
	}