some magic with menu.jsp