How much is North Korea?