function toggle_div(aDiv){	var theDiv = document.getElementById(aDiv);	if(theDiv.style.display == "block")	{		theDiv.style.display = "none";	}	else	{		theDiv.style.display = "block";	}}