// JavaScript Document

	var divNameShown = "mainpg";

	function doContentChange(divName) {
	document.getElementById(divNameShown).style.display = "none";
	document.getElementById(divName).style.display = "block";
	divNameShown = divName;
	
	}