According to ChainCatcher, the official page information shows that El Salvador currently holds 6,000 BTC, worth over $571 million.