// Expanding lists
function showList(list){
	var thisListStyle=document.getElementById(list).style;
	// *** not working this way *** var thisListArrow=document.getElementById(list+"_").innerHTML;
	if (thisListStyle.display=="none")
	{
		thisListStyle.display="block";
		// thisListArrow="▲";
		document.getElementById(list+"_").innerHTML="▲"
	}
	else 
	{
		thisListStyle.display="none";
		// thisListArrow="▼";
		document.getElementById(list+"_").innerHTML="▼"
	}
}