How much would you pay for this?

gov.xxx is taken and I guess the goverment runs a prn website xDD
but there is a bunch of domains gov. xx
but the cheapest one I think 650$

https://www.namecheap.com/domains/regist...domain=gov

---

the domain is useless to me, I'm not going to buy it even if it cost $1