Ask HN: What is the most you've paid for a domain name?

What is the most you have paid for personal or business reasons? What extension? What domain? Mask them out fully or partially if you want but knowing the length is helpful.