\( \boxed7245 \) (meters, rounded to nearest 100 m where it exceeds) — but to match precision, accept: - Portal da Acústica