1836 geologists have discovered 6371 rocks.

Of course, we keep searching...