With their loss against the Colts mathematically eliminating the Texans from the AFC South title, the Texans returned home in hopes of securing a wild card spot in the playoffs. In his first career start since the 2013 season, Case Keenum started as the team's 4th quarterback of the season. Despite driving into the redzone on their first possession, the Texans instead settled on a field goal for an early 3-0 lead. Houston kicked two more field goals before scoring a touchdown (thrown by Arian Foster) to take a halftime lead of 16-0. The Texans held on to win 25-13, keeping their playoff hopes alive. Andre Johnson had six receptions for 65 yards in the game and became the 10th player in NFL history to reach 1,000 career receptions (1,002). Johnson passed Hines Ward for ninth-most in NFL history. Kicker Randy Bullock was 6/6 on field goals during the game, for a total of 19 points.
Question: How many points did the Texans lead by at the final?
Answer: 12