// writing flash content for IE6 from external javascript

      function external_document_write (s) {
        document.write (s);
      }