Commitments and Contingencies (Schedule of Future Annual Minimum Lease Payments under All Noncancelable Operating Leases) (Details) (USD $) In Millions	Apr. 30, 2011
Operating Leases
2011 (remaining three months)	$ 94
2012	339
2013	214
2014	152
Thereafter	454
Total	$ 1,253

The total of future contractually required payments on leases defined as operating.

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Statement of Financial Accounting Standard (FAS)
-Number 13
-Paragraph 122

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Statement of Financial Accounting Standard (FAS)
-Number 13
-Paragraph 16
-Subparagraph b(i)

+ Details

Name:	us-gaap_OperatingLeasesFutureMinimumPaymentsDue
Namespace Prefix:	us-gaap
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Details

Name:	us-gaap_OperatingLeasesFutureMinimumPaymentsDueAbstract
Namespace Prefix:	us-gaap
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

For leases having an initial or remaining non-cancelable letter-terms in excess of one year, required rental payments due within one year of the balance sheet date relating to leases defined as operating.

+ References

+ Details

Name:	us-gaap_OperatingLeasesFutureMinimumPaymentsDueCurrent
Namespace Prefix:	us-gaap
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

For leases having an initial or remaining non-cancelable letter-terms in excess of one year, required rental payments due within the fourth year of the balance sheet date relating to leases defined as operating.

+ References

+ Details

Name:	us-gaap_OperatingLeasesFutureMinimumPaymentsDueInFourYears
Namespace Prefix:	us-gaap
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

For leases having an initial or remaining non-cancelable letter-terms in excess of one year, required rental payments due within the third year of the balance sheet date relating to leases defined as operating.

+ References

+ Details

Name:	us-gaap_OperatingLeasesFutureMinimumPaymentsDueInThreeYears
Namespace Prefix:	us-gaap
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

For leases having an initial or remaining non-cancelable letter-terms in excess of one year, required rental payments due within the second year of the balance sheet date relating to leases defined as operating.

+ References

+ Details

Name:	us-gaap_OperatingLeasesFutureMinimumPaymentsDueInTwoYears
Namespace Prefix:	us-gaap
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

For leases having an initial or remaining non-cancelable letter-terms in excess of one year, required rental payments due after the fifth year from the balance sheet date on leases defined as operating.

+ References

+ Details

Name:	us-gaap_OperatingLeasesFutureMinimumPaymentsDueThereafter
Namespace Prefix:	us-gaap
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant