introduced globalheaders.jsp so that the top menu can be applied
uniformly across all pages.