<%! static java.util.Vector v = new java.util.Vector(); static java.util.Enumeration enum = null; static { v.addElement("i_index_jiraint.shtm"); } %> <% if ((enum==null) || (!enum.hasMoreElements())) { enum = v.elements(); } %>