var window = { document : com.sun.java.browser.plugin2.DOM.getDocument( hostApplet ), navigator : { userAgent : 'Tip/0.2', }, } /* var HTMLElement = com.sun.plugin.dom.html.HTMLElement HTMLElement.prototype.__defineSetter__( 'innerHTML', function( html ) { print( "innerHTML = " + html ) } ) */