toc-render in xquery