0000000001 2015-12-31 0000000001 2015-01-01 2015-12-31 iso4217:USD 172896000000 172896000000 121656000000 51240000000 95451000000 49399000000 46052000000 0 0 0 77445000000 77445000000 0 20379000000 7207000000 13172000000 7379000000 5793000000 -280000000 5513000000 893000000 4620000000 0 0 4620000000 4620000000 0 0 4620000000 -784000000 3836000000 3836000000 0 -164000000 8594000000 -5066000000 -3648000000 -44000000 -120000000 8594000000 -5066000000 -3648000000 0 0 0 0