The Bengals returned home following their bye week for a week 9 matchup with the Denver Broncos. They entered the game having lost three straight games following their 3-1 start to the season. Entering the game, Broncos quarterback Peyton Manning had never lost to Cincinnati in his career.The two teams traded field goals early, with Broncos kicker Matt Prater connecting on a 43-yard field goal and the Bengals Mike Nugent successfully booting a 28-yard attempt. On the Broncos possession following the Bengals field goal, Peyton Manning masterfully moved the Broncos down the field, dissecting the Cincinnati secondary quickly, leading to an eight play,  eighty yard drive, highlighted by a forty-five yard strike to receiver Demarious Thomas, and culminated with a thirteen-yard pass to Eric Decker for the score. Following the Broncos touchdown, Denver led 10-3.The Broncos would increase their lead to a score of 17-3 on the opening kickoff of the second half, as receiver Trindon Holliday would return the football 105 yards for the score, dealing a sharp blow to a Bengals team that had previously been sticking close to the Broncos.The score however, appeared to motivate the Bengals, as they would go on to count the game's next seventeen points. Second year receiver AJ Green would capture a touchdown reception for the seventh straight game, after quarterback Andy Dalton found him on a 10-yard strike. Each of the next two Denver possessions were ended by Cincinnati cornerback Terrance Newman intercepting Denver quarterback Peyton Manning. A forty-nine yard Mike Nugent field goal, and a two-yard BenJarvus Green-Ellis touchdown run were the result of the two ensuing Bengal possessions; giving them a 20-17 advantage.Unfortunately for Cincinnati, Peyton Manning would then engineer back-to-back touchdown drives, separated by Andy Dalton throwing an interception of his own. Because the drives took place in the fourth quarter, Peyton Manning was officially credited with his forty-eighth career game-winning drive, surpassing Dan Marino for the NFL record in the process.The Bengals would attempt to mount a late comeback, scoring three points on a Mike Nugent field goal in the process, but were unable to recover an onside kick attempt that would have given them a chance to try and tie the game.
Question: How many points did Denver lead by at halftime?
Answer: 7