();
%>
<%
pageConfigList.add((PageConfig) (pageContext.getAttribute("page")));
%>
<%
NavigationJsonGenerator generator = new NavigationJsonGenerator(request.getLocale());
String treeJson = generator.generateTreeJSON(pageConfigList, request.getContextPath(), "/images/ico_doc_16x16.gif");
String listJson = generator.generateQuickLauncherJSON(pageConfigList, request.getContextPath(), "/images/ico_doc_16x16.gif");
%>
<%=generator.generateLinks(pageConfigList, request.getContextPath(), "/images/ico_doc_16x16.gif")%>