// javascript hiding

	var lastDiv		= null
	var sectionName	= 'section'

	function showSection(id){
		if(lastDiv == undefined)lastDiv = document.getElementById(sectionName+ '_a') // numerical sections
		if(lastDiv == undefined)lastDiv = document.getElementById(sectionName+ '_1') // alphabetical sections
		lastDiv.className = 'off'
		lastDiv = document.getElementById(sectionName+ '_' + id)
		lastDiv.className = ''
		}