<%
String path = request.getContextPath();
String basePath = request.getScheme() + "://"
+ request.getServerName() + ":" + request.getServerPort()
+ path + "/";
int res_pg = (request.getParameter("num") == null)? 10: Integer.parseInt(request.getParameter("num").toString());
%>
ENTRI Treaties with Full Text Available
