Event.observe(window, 'unload', function(event) {releaseLockForm();});

function releaseLockForm()
{
  if (document.entryform)
  {
    if (document.entryform.token)
    {
      if (document.entryform.token.value != '')
      {
        /* release lock from questionnaire */
        var sURI = 'include.php?file=../releaselock.php&token='+document.entryform.token.value;
        var xmlHttp = XmlHttp.create();
        xmlHttp.onreadystatechange = function ()
        {
          if (xmlHttp.readyState == 4)
          {
            // dummy
          }
        }
        xmlHttp.open("GET", sURI, false);
        xmlHttp.send(null);
      }
    }
  }
}