DAVIE, Fla. (AP) - The Miami Dolphins have taken Texas defensive tackle Kheeston Randall in the seventh round of the NFL draft.

The 6-5, 293-pound Randall was the 215th overall pick. He started 35 games at Texas, including 13 last season, and was a first-team All-Big 12 selection.

Randall was the third defensive player taken by the Dolphins, and the third with ties to the state of Texas.