14 billion won in bonds