d.append("<iframe src=\"");
d.append("<iframe frameborder=\"0\" src=\"");
    public void write(Device d, SComponent c)        throws IOException    {        SScrollPane scrollPane = (SScrollPane)c;	// write the contents to another device	SComponent contents = (SComponent)scrollPane.getScrollable();        Scrollable scrollable = (Scrollable)contents;        Rectangle rect = scrollable.getViewportSize();        rect.setSize(scrollable.getScrollableViewportSize());	if (contents != null) {	    Device document = new StringBufferDevice();            SFrame frame = c.getParentFrame();	    writeDocumentPrefix(document, frame);	    contents.write(document);	    writeDocumentPostfix(document);	    ExternalizeManager ext = c.getExternalizeManager();	    if (ext != null) {		try {                    String url = frame.getServerAddress().getAbsoluteAddress();                    url = url.substring(0, url.lastIndexOf('/') + 1);		    url += ext.externalize(document);		    d.append("<iframe src=\"");                    d.append(url);                    d.append("\" width=\"");                    d.append(scrollPane.getHorizontalExtent());                    d.append("\" height=\"");                    d.append(scrollPane.getVerticalExtent());                    d.append("\"></iframe>");		}		catch (java.io.IOException e) {                    d.append("sorry: something went wrong");		    // dann eben nicht !!		    e.printStackTrace(System.err);		}	    }	}    }