// for the properties nav

var isW3C = (document.getElementById) ? true : false; var isAll = (document.all) ? true : false; var lastOpen = "";

function showhidelayer(elemID) {
	var elem = (isW3C) ? document.getElementById(elemID) : ((isAll) ?  
document.all[elemID] : null);

     if (typeof elem.className == "string") {
         if (elem.className == 'closed'){
			elem.className = '';
			if (lastOpen != elem) lastOpen.className = 'closed';
			lastOpen = elem;
		} else {
			elem.className = 'closed';
		}
     }
	return false;
}