en ( "GET", "/" + source  + "?version=" + Math.random(), false ) ;
        xhr.send() ;
      }

      // Save the preferences
      function fsav()
      {
        var str = prefs.value ;
        var theUrl = "/saveprefs?version=" + Math.random()  + "&";
        var xhr = new XMLHttpRequest() ;
        xhr.onreadystatechange = function()
        {
          if ( xhr.readyState == XMLHttpRequest.DONE )
          {
            resultstr.value = xhr.responseText ;
          }
        }
      