<% String requestName = "get_registryInfo"; String requestType = "admin"; String requestKey = requestName+":request"; String responseKey = requestName+":response"; String requestTimeKey = requestName+":time"; %>

<%= requestName%>

<% String requestTime = (String)session.getAttribute(requestTimeKey); if (requestTime == null) { requestTime = "0"; } %>
> > Time: <%= requestTime%> milliseconds