Marco bought pens and pencils with his company's name and website address to give away to people at a festival. He bought a total of 300 pens and pencils together and spent $62.50. If pencils cost $0.15 each and pens cost $0.25 each, how many
pens did Marco buy?