<!--
	headingPrevious = "Heading_1_body"

function doHeading(clicked){

		headingCurrent = document.getElementById(clicked + '_body')
			
		if (headingCurrent == headingPrevious){
			if (headingCurrent.className=="on"){
				headingCurrent.className="off"
				}
			else {
				headingCurrent.className="on"
				}
			}

	
		else if (headingCurrent != headingPrevious){
			// close previous
				headingPrevious.className="off"
			// open current
				headingCurrent.className="on"
			}
	
		headingPrevious = document.getElementById(clicked + '_body')

	}

	sectionPrevious = "Section_1_1_body"
	

-->