This is an archived article and the information in the article may be outdated. Please look at the time stamp on the story to see when it was last updated.

OKALOOSA COUNTY, Fla. — A 17-year-old girl from Louisville, Kentucky was injured after being bitten by a shark Sunday afternoon while swimming in the Gulf of Mexico.

WDRB reported that the victim suffered a scratch on her left leg and a puncture wound that will require stitches, but did not suffer any major damage.

The 5-foot-long shark bit the girl shortly after 3:30 p.m. as she swam in the Gulf of Mexico near some condominiums in Destin, Florida, according to the Okaloosa County Sheriff’s Office.

Deputies said the girl was bit while she was swimming near a sandbar. She was treated at a nearby medical center.