Thanks. I just have a couple of quick questions.
Thank you very much for your presentation, Mr. Verkaik.
You mentioned that there are a lot of exports. I believe you said that there is $3 billion in exports now to the U.S., with $4 billion in imports. Is that correct?