Each pick was the sixth compensatory pick, meaning it will be the 38th pick of the round. Those picks cannot be traded.
Compensatory picks are awarded as compensation for free agency losses the previous year. The exact formula used to determine how many picks each team gets and in what round involves the net loss in free agency, the amount free agents signed for and the contributions of free agents to their new team. It's a rather secretive process.
So now the Dolphins have nine picks -- one in the first, two in the second, one in the third, one in the fourth, two in the sixth and two in the seventh.
The Dolphins' fifth-round pick was sent to Kansas City last offseason in the trade that brought quarterback Trent Green to Miami. They also flopped sixth-round picks with Dallas as part of the offseason trade that netted defensive tackle Jason Ferguson.