How Many File Types Are There