function swapImage(elt, image) {
	elt.src = image;
	
	if (section_name != "") {		
           init_nav();
        }
}


function init_nav() {
	if (section_name != "home") {
  		document.images[section_name].src = "images/menu_" + section_name + "_on.gif";
	}
}


function toggleView(divName) {
	var currentDiv = document.getElementById(divName); 
	
	if (currentDiv.style.display == 'block') {
		currentDiv.style.display = 'none';
	} else {
		currentDiv.style.display = 'block';	
	}
}