1558 geologists have discovered 5421 rocks.

Of course, we keep searching...