Context: For the second time this season, backup quarterback Paxton Lynch started in place of Trevor Siemian, who missed the game due to a sprained foot. Following a scoreless first quarter, a 47-yard field goal by placekicker Jason Myers gave the Jaguars the brief lead. The Broncos then reeled off 17 unanswered points, with a 6-yard touchdown run by running back Devontae Booker and a 32-yard field goal by placekicker Brandon McManus just before halftime. Then, in the third quarter, cornerback Bradley Roby returned an interception off quarterback Blake Bortles 51 yards for a touchdown. The Jaguars narrowed the Broncos' lead to 17-10 early in the fourth quarter, when Bortles ran for a 22-yard touchdown. Following an exchange of punts throughout the majority of the fourth quarter, the Jaguars were attempting a rally just after the two-minute warning, when Broncos' linebacker Shane Ray forced a strip sack and fumble recovery off Bortles in Jaguars' territory. Four plays later, McManus added a 41-yard field goal with only 33 seconds remaining to put the game out of reach.

Question: How many points did Denver lead by at halftime?

Answer:
14