1856
geologists
have discovered 6456
rocks
.
Of course, we keep searching...