Input: Volgens sommige bronnen gaat het zelfs om " zeker vijfduizend dossiers " .
Output: 

 None