Hey, could somebody please tell me how many HaB encodes are there?