Koreas statsinkomster utgjorde , enligt japanska statistiska uppgifter , för 10 år sedan 7 millioner kr.