KRW 20.74 trillion