Zarkan, Dinosaur king

Trample, Double Strike, Haste
When you cast Zarkan, Dinosaur king or
attack with Zarkan, Choose one of the following.
•Search you library for a dinosaur card with
converted mana cost equial to or less than the
number of dinosaurs you control.
•All dinosaurs you control gain indestructible
until end of turn.
•All dinosaurs you control gain Vigilance.