einde van de werkdag
enkele aanpassingen in file.php en een functie toegevoegd aan documents.php