At a football match, 25% of the spectators wore red T-shirts and 3750 spectators did not wear red T-shirts. How many spectators were there