Fair Value Measurements (Details 1) (USD $)	Sep. 30, 2013	Dec. 31, 2012
Fair value measurements using quoted prices in active markets for identical assets (Level 1)
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Total assets at fair value	$ 4,274,000,000	$ 3,909,000,000
Fair value measurements using quoted prices in active markets for identical assets (Level 1) | Money market funds
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Total assets at fair value	4,174,000,000	3,511,000,000
Fair value measurements using quoted prices in active markets for identical assets (Level 1) | Foreign government treasury bills
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Total assets at fair value	32,000,000
Fair value measurements using quoted prices in active markets for identical assets (Level 1) | U.S. treasuries and government agency securities
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Total assets at fair value	68,000,000	387,000,000
Fair value measurements using quoted prices in active markets for identical assets (Level 1) | Corporate bonds
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Total assets at fair value		11,000,000
Fair value measurements using quoted prices in active markets for identical assets (Level 1) | ARS
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Total assets at fair value	0	0
Fair value measurements using significant other observable inputs (Level 2)
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Total assets at fair value	0	0
Fair value measurements using significant other observable inputs (Level 2) | Money market funds
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Total assets at fair value	0	0
Fair value measurements using significant other observable inputs (Level 2) | Foreign government treasury bills
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Total assets at fair value	0
Fair value measurements using significant other observable inputs (Level 2) | U.S. treasuries and government agency securities
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Total assets at fair value	0	0
Fair value measurements using significant other observable inputs (Level 2) | Corporate bonds
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Total assets at fair value		0
Fair value measurements using significant other observable inputs (Level 2) | ARS
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Total assets at fair value	0	0
Fair value measurements using significant unobservable inputs (Level 3)
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Total assets at fair value	9,000,000	8,000,000
Fair value measurements using significant unobservable inputs (Level 3) | Money market funds
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Total assets at fair value	0	0
Fair value measurements using significant unobservable inputs (Level 3) | Foreign government treasury bills
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Total assets at fair value	0
Fair value measurements using significant unobservable inputs (Level 3) | U.S. treasuries and government agency securities
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Total assets at fair value	0	0
Fair value measurements using significant unobservable inputs (Level 3) | Corporate bonds
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Total assets at fair value		0
Fair value measurements using significant unobservable inputs (Level 3) | ARS
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Total assets at fair value	9,000,000	8,000,000
Fair value
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Total assets at fair value	4,283,000,000	3,917,000,000
Fair value | Money market funds
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Total assets at fair value	4,174,000,000	3,511,000,000
Fair value | Foreign government treasury bills
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Total assets at fair value	32,000,000
Fair value | U.S. treasuries and government agency securities
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Total assets at fair value	68,000,000	387,000,000
Fair value | Corporate bonds
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Total assets at fair value		11,000,000
Fair value | ARS
Fair Value, Assets and Liabilities Measured on Recurring and Nonrecurring Basis [Line Items]
Total assets at fair value	$ 9,000,000	$ 8,000,000