. . . "Hoplosuchus"@en . . . "Hoplosuchus is a genus of crocodylomorph. It is so far only known definitely from one specimen, a skeleton collected from sandstone of the Upper Jurassic-age Morrison Formation rocks at Dinosaur National Monument, Utah, during road construction. The individual was small, approximately 20 centimetres (7.9 in) long, although it may have been very young."@en . .