That’s neat to know. Funny how they did a better job keeping track of that after 10 years when google let their rights to the domain google.com slip once. Some random guy bought it on the market. They then bought it back from him for 6006.13 (numbers that look like google) which he then donated to charity and google matched.