Сколько стоят 9 мячей, если один мяч стоит 80 руб?