 "<html:div xmlns='http://www.w3.org/1999/xhtml'>     </html:div>";
      else
      document.submission.exslt_function_doc.value = "<section>    </section>";
  }

  function setDoc2(){
      var what=document.submission.exslt_implementation_doc_format.value;
      if (what =='xhtml')
      document.submission.exslt_implementation_doc1.value = "<html:div xmlns='http://www.w3.org/1999/xhtml'>     </html:div>";
      else
      document.submission.exslt_implementation_doc1.value = "<section>    </se