#options.pageTree.showPageIdWithTitle = 1
options.pageTree.showNavTitle = 1