— Koreas statsinkomster utgjorde,