Regards, Ivan
Or slightly over $1 trillion dollars. Kind of makes ours look not so bad by comparison, considering difference in population and GNP and all. Thanks.