var autoClose=1; var oldObject=null;
function toggleClamShellMenu(objectID) {
	if ((oldObject)&&(autoClose==1)) oldObject.style.display='none'
	var object = document.getElementById(objectID);
	if (object.style.display=='block') object.style.display='none'
	else object.style.display='block';
	oldObject = object;
	return; }