Чтобы найти стоимость 9 мячей, нужно цену одного мяча умножить на их количество: \( 80 \text{ руб} \times 9 = 720 \text{ руб} \).
Ответ: 720 рублей.