According to nic.tt it ranges from 600 to 2000$ for 3 years. If the domain was bought on aftermarket, it was probably way more expansive though