function applet_loaded() { top.applet_loaded="true"; }