// navtreesppt.js
function doNavtreeClick(divId) {
	//alert('initiating a click on divId '+divId);
	//alert(document.getElementById(divId).href);
	document.location=document.getElementById(divId).href;			// this method works in IE and Firefox.
    //document.getElementById(divId).click();						// fails in Firefox
    //alert('initiated a click on divId '+divId);
    return(false);
}
// EOF