function write_applet( text ) {

      document.write(text);

}