einde van de werkdag
enkele aanpassingen in file.php