GULF SHORES, Ala. — The residents of Gulf Shores decided change was in the future. According to unofficial poll results, Robert Craft will become the new mayor. No runoffs will be held.

Below are the unofficial results of Tuesday's race:

In the mayoral race, Robert Craft received 1,503; Incumbent Billy Duke received 720 votes; Pat Dunn received 64 votes. In the Place 2 slot, Incumbent Carolyn Doughty received a majority of the votes with 1,138; Jim Catrett received 300 votes; Mike Miceli garnered 729 votes. Jason Dyken won the most votes for Place 4, which was open when Craft left to run for mayor. Dyken received 1,159 votes; A.J. Benintende received 599 votes; Tony Diliberto received 359 votes; Don Meghreblian received 129 votes. Steve Jones secured his Place 5 council seat. He received 1,172 votes. Geoff Gaberino received 419 votes while Ed Minkina received 602 votes.