Bought USD/KRW. More dollars to be diversified at some juncture.