How many U.S. senators are there?