In Korea, the US is paid about $1 billion which is approaching half of the burden to the US.