The Redskins kicked off their 2015 regular season by hosting the Miami Dolphins. After a Kai Forbath field goal put the Redskins up 3-0, they got the ball back, and newly minted starting quarterback Kirk Cousins threw a deep pass to DeSean Jackson. The ball was overthrown, and Jackson sustained a hamstring injury while stretching out to attempt to catch it. Early in the second quarter, Cousins was intercepted by Miami cornerback Brent Grimes at the Redskins' 25-yard-line, continuing a trend from previous seasons of turnovers and ill-advised throws. Grimes returned the interception 11 yards to the 14-yard-line, but the Dolphins failed to score any points off of the turnover. Near the end of the first half, with Washington still nursing a 3-0 lead, Cousins tossed a 4-yard touchdown pass to tight end Jordan Reed, putting the Redskins up 10-0. Miami scored right before halftime, with Ryan Tannehill throwing a 3-yard touchdown pass to receiver Rishard Matthews with 27 seconds remaining. Washington led 10-7 entering halftime. Miami got the ball to begin the second half, and on 3rd and 7 from the Miami 45-yard-line, Tannehill threw deep down the right sideline to former Pro Bowl tight end Jordan Cameron for a gain of 27. However, on 3rd and 4 from the Redskins' 22-yard-line, inside of Miami kicker Andrew Franks' range, defensive end Jason Hatcher forced a Tannehill fumble that was bobbled all the way back to the Miami 40 and recovered by Redskins rookie outside linebacker Preston Smith. The Redskins did not capitalize, however, losing two yards on an Alfred Morris run and two short Cousins passes. On their next possession, Washington drove to the Miami 22-yard-line&#8212;easily inside Forbath's range&#8212;but three consecutive penalties pushed them back 24 yards and forced a punt, squandering a valuable chance to extend the lead. On the ensuing drive, Franks converted a 22-yard field goal attempt to tie the score at 10-10 entering the fourth quarter. The Redskins continued to have no success on offense, resulting in a punt to Dolphins receiver Jarvis Landry, who fielded the ball at the Miami 31-yard-line, broke a few tackles and burst into the clear for a 69-yard score and a 17-10 Dolphins lead. On 3rd and 13 from their own 29-yard-line, with a chance to cut into or tie the Dolphins' lead, Cousins threw to the endzone for Pierre Gar&#231;on, but the ball was intercepted by Miami cornerback Brice McCain, ending the Redskins attempt at a potential field goal to narrow the deficit. That ended up being Washington's best chance, as they could not score on any of their subsequent possessions. Miami scored 17 unanswered points and shut out the Redskins in the second half to win 17-10 and win their third straight season opener under coach Joe Philbin. Washington, by contrast, lost in Week 1 for the third consecutive season and for the second straight time under head coach Jay Gruden. After the game, it was announced that receiver DeSean Jackson would miss several weeks with his hamstring injury, and that kicker Kai Forbath had been released and replaced by former Buffalo Bills and New Orleans Saints kicker Dustin Hopkins.
Question: How many points did Miami win by?
Answer: 7