Ask HN: Domain Cost of X.com

Just curious to know how much elon paid for x.com?