Question: This Martin County, Florida city with area code 772 is located on what coast?
Sentence (from "Area code 619"): This area code currently covers the southern half of the city of San Diego and its eastern and southern suburbs.
Relevant evidence: No