<%@ page import="java.net.URL" %> <% response.setContentType("text/xml"); String requestURI = request.getRequestURI(); int pe = requestURI.lastIndexOf('/', requestURI.length()-2); requestURI = (pe > 0) ? requestURI.substring(0, pe) : ""; URL baseURL = new URL(request.getScheme(), request.getServerName(), request.getServerPort(), requestURI); %> var url1 = "http://intf.uni-muenster.de/PreCo/Ch18Cl_full/Ch18_Clusters.html"; function loaded() { gadgets.window.adjustHeight(550); window.location.href = url1; } gadgets.util.registerOnLoadHandler(loaded); ]]>