function syncMenu(pathName)
{
	var slashPos, dotPos, pageName, linkID

	slashPos = pathName.lastIndexOf('/');
	if (slashPos >= 0) {
		pageName = pathName.substring(slashPos + 1, pathName.length);
	} else {
		pageName = pathName;
	}

	dotPos = pageName.lastIndexOf('.');
	if (dotPos >= 0) {
		linkID = pageName.substring(0, dotPos);
	} else {
		linkID = pageName;
	}

	docObj = findObj(linkID);
	docObj.forceOpeningOfAncestorFolders();
	highlightObjLink(docObj);
}