function openClose(m){
	var menu = m;
	var button = "xb" + m;
	if (document.getElementById(menu).style.display=="block"){
		document.getElementById(menu).style.display="none";
		document.getElementById(button).src="graphics/plus.gif";
	}
	else {
		document.getElementById(menu).style.display="block";
		document.getElementById(button).src="graphics/minus.gif";
	}
}

function demo(){
	alert("Not functional in this demo");
}