10 trillion won total in student loans