ction>";
  }

  function setDoc3(){
      var what=document.submission.exslt_usecase_doc_format.value;
      if (what =='xhtml')
      document.submission.exslt_usecase_doc1.value = "<html:div xmlns='http://www.w3.org/1999/xhtml'>     </html:div>";
      else
      document.submission.exslt_usecase_doc1.value = "<section>    </section>";
  }

     function addarg(){
      var argvalue=document.submission.exslt_function_arg.value;
      document.submission.exslt_function_arg.value = ""+argvalue+