function SectionSelect(ThisSection) {
	if (ThisSection != "default") { 
		var DocButton = document.getElementById(ThisSection + "Button");
		DocButton.setAttribute("class", "menubuttonselected" );
		DocButton.setAttribute("className", "menubuttonselected" ); //For IE
	
		var DocButtonText = document.getElementById(ThisSection + "ButtonText");
		DocButtonText.setAttribute("class", "menulinkselected" );
		DocButtonText.setAttribute("className", "menulinkselected" ); //For IE
	}
}