<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "/schema/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xmlns:html="http://www.w3.org/1999/xhtml">
<head>
<title>EXSLT Submissions</title>
<link rel="stylesheet" href="../style/base.css"/>

<script language="JavaScript">
  function setDoc1(){
      var what=document.submission.exslt_function_doc_format.value;
      if (what =='xhtml')
      document.submission.exslt_function_doc.value =