       while ( str.indexOf ( "\n" ) >= 0 )
        {
          str = str.replace ( "\n", "&" ) ;
        }
        theUrl += str.slice(0,-1) ;				// Chop last ampersand
        xhr.open ( "POST", theUrl, true ) ;
        xhr.setRequestHeader ( "Content-type", "application/x-www-form-urlencoded" ) ;
        xhr.send() ;
      }
      // Fill configuration initially
      // Get the configuration parameters from preferences
      ldef ( "getprefs" ) ;
    </script>
  </body>
</html>
