how many drivers have won a record 15 drivers ' championships for the team with the number 3 driver ?
9