In a recent, local taste contest testing Coke against Pepsi, it was found that 3∕5 of all people surveyed preferred the taste of Coke. If 7,500 people were in the survey, how many chose Pepsi?