Rob is going over his currency exchange receipts from his trip to Japan and South Korea. When he was in Japan, he exchanged US dollars for Japanese yen at a rate of 1:87.441, and when he was in South Korea, he exchanged Japanese yen for South Korean won at a rate of 1:12.395. To three decimal places, what was the exchange rate of US dollars to South Korean won?