800 , docenten , fil.