function submitform (loc)
  {
  document.getElementById ('loc').value = loc;
  document.appform.submit ();
  }
function confirm_revert (message, url)
  {
  var return_value = confirm (message);
  if ( return_value == true )
    {
    document.getElementById ('revert').value = 'true';
    document.appform.submit ();
    }
  else
    {
    return false;
    }
  }
function confirm_redirect (message, url)
    {
    var return_value = confirm (message);
    if ( return_value == true )
        {
        window.location.href = url;
        }
    else
        {
        return false;
        }
    }