A restaurant charges $9 for a large cheese pizza plus $1.25 per topping. Another restaurant charges $13 for a large cheese pizza plus $0.25 per topping. How many toppings does a pizza have that costs the same at both restaurants?