function mark(id)
  {
  if (id=="alle")
    for (var i=0; i<document.filesystem.elements.length; i++)
      document.filesystem.elements[i].checked=true;
  else
    document.getElementById(id).checked=true;
  }

function unmark(id)
  {
  if (id=="alle")
    for (var i=0; i<document.filesystem.elements.length; i++)
      document.filesystem.elements[i].checked=false;
  else
    docmuent.getElementById(id).checked=false;
  }

function senden(aktion, id)
  {
  var check=false;
  for (var i=0; i<document.filesystem.elements.length; i++)
    if (document.filesystem.elements[i].checked==true)
      check=true;
  if (check)
    {
    document.filesystem.action="index.php?id="+id+"&aktion="+aktion;
    document.filesystem.submit();
    }
  }