Ten billion Korean won