The Browns faced the Miami Dolphins without their leading rusher Peyton Hillis in a Week 3 matchup. The Dolphins took an early lead, converting a Colt McCoy interception into a 7-0 lead on a touchdown pass from Chad Henne. The Browns tied the game on a touchdown pass from McCoy to Joshua Cribbs. The Dolphins took the lead again on a Dan Carpenter field goal, and took a 10-7 lead into halftime. The Browns again tied the game in the third with Phil Dawson's field goal. The Dolphins added two more field goals, and had the Browns down six points in the final minutes. McCoy led the Browns down the field, and hit Mohamed Massaquoi on a 14-yard touchdown pass to give the Browns a last-minute, 17-16 victory. With the win, the Browns improved to 2-1 and it also became the first season since 2007 to where the team was actually at least a game above .500.
Question: How many points were the Dolphins leading by at the end of the first half?
Answer: 3