.io domain names: What's the most paid ever?

What's the most you've heard of a .io domain name reselling for?

What was the domain name? (optional)