517. "Gnomelock Holmes" is a better name.