What does South Korea export? (1971)