1558
geologists
have discovered 5421
rocks
.
Of course, we keep searching...