the Mugger (or marsh) crocodile (Crocodylus palustris), gharial and the estuarine (coast) crocodile (C. porosus).