The Emerald Coast is an unofficial name for the coastal area in the US state of Florida on the Gulf of Mexico that stretches about 100 mi (161 km) through five counties, Escambia, Santa Rosa, Okaloosa, Walton, and Bay, from Pensacola to Panama City. Some south Alabama communities on the coast of Baldwin County, such as Gulf Shores, Orange Beach and Fort Morgan embrace the term as well. The coast was previously called the Miracle Strip. Informally the region has been dubbed the Redneck Riviera.