Investments (Details) (USD $) In Thousands, unless otherwise specified	Jun. 30, 2013	Dec. 31, 2012
Marketable investments classified as held-to-maturity:
Amortized Cost	$ 550,725	$ 630,428
Gross Unrealized Gains	266	445
Gross Unrealized Losses	(129)	(175)
Fair Value	550,862	630,698
Government-sponsored enterprises
Marketable investments classified as held-to-maturity:
Amortized Cost	342,414	350,043
Gross Unrealized Gains	187	261
Gross Unrealized Losses	(41)	(35)
Fair Value	342,560	350,269
Corporate notes and bonds
Marketable investments classified as held-to-maturity:
Amortized Cost	208,311	280,385
Gross Unrealized Gains	79	184
Gross Unrealized Losses	(88)	(140)
Fair Value	$ 208,302	$ 280,429

For an unclassified balance sheet, this item represents investments in debt securities which are categorized as held-to-maturity. The held-to-maturity category is for those securities that the entity has the positive intent and ability to hold until maturity.

Reference 1: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Statement of Financial Accounting Standard (FAS)

-Number 115

-Paragraph 10

-LegacyDoc This reference is SUPERSEDED by the Accounting Standards Codification effective for interim and annual periods ending after September 15, 2009. This reference is included to help users transition from the previous accounting hierarchy and will be removed from future versions of this taxonomy.

Reference 2: http://www.xbrl.org/2003/role/presentationRef

-Publisher AICPA

-Name Accounting Research Bulletin (ARB)

-Number 43

-Section A

-Paragraph 5

-Chapter 3

-LegacyDoc This reference is SUPERSEDED by the Accounting Standards Codification effective for interim and annual periods ending after September 15, 2009. This reference is included to help users transition from the previous accounting hierarchy and will be removed from future versions of this taxonomy.

Reference 3: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Statement of Financial Accounting Standard (FAS)

-Number 115

-Paragraph 11

-LegacyDoc This reference is SUPERSEDED by the Accounting Standards Codification effective for interim and annual periods ending after September 15, 2009. This reference is included to help users transition from the previous accounting hierarchy and will be removed from future versions of this taxonomy.

Reference 4: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Statement of Financial Accounting Standard (FAS)

-Number 115

-Paragraph 19

-LegacyDoc This reference is SUPERSEDED by the Accounting Standards Codification effective for interim and annual periods ending after September 15, 2009. This reference is included to help users transition from the previous accounting hierarchy and will be removed from future versions of this taxonomy.

Reference 5: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Statement of Financial Accounting Standard (FAS)

-Number 115

-Paragraph 17

-LegacyDoc This reference is SUPERSEDED by the Accounting Standards Codification effective for interim and annual periods ending after September 15, 2009. This reference is included to help users transition from the previous accounting hierarchy and will be removed from future versions of this taxonomy.

Reference 6: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Accounting Standards Codification

-Topic 320

-SubTopic 10

-Section 25

-Paragraph 1

-Subparagraph (c)

-URI http://asc.fasb.org/extlink&oid=7534914&loc=d3e22054-111558

Reference 7: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Statement of Financial Accounting Standard (FAS)

-Number 115

-Paragraph 7

-LegacyDoc This reference is SUPERSEDED by the Accounting Standards Codification effective for interim and annual periods ending after September 15, 2009. This reference is included to help users transition from the previous accounting hierarchy and will be removed from future versions of this taxonomy.

Reference 8: http://www.xbrl.org/2003/role/presentationRef

-Publisher AICPA

-Name Accounting Research Bulletin (ARB)

-Number 43

-Section A

-Paragraph 4

-Chapter 3

-LegacyDoc This reference is SUPERSEDED by the Accounting Standards Codification effective for interim and annual periods ending after September 15, 2009. This reference is included to help users transition from the previous accounting hierarchy and will be removed from future versions of this taxonomy.

Reference 9: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Accounting Standards Codification

-Topic 942

-SubTopic 210

-Section S99

-Paragraph 1

-Subparagraph (SX 210.9-03.6)

-URI http://asc.fasb.org/extlink&oid=6876686&loc=d3e534808-122878

Reference 10: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Accounting Standards Codification

-Topic 944

-SubTopic 210

-Section S99

-Paragraph 1

-Subparagraph (SX 210.7-03.1)

-URI http://asc.fasb.org/extlink&oid=6879938&loc=d3e572229-122910

Reference 11: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Statement of Financial Accounting Standard (FAS)

-Number 115

-Paragraph 8

-LegacyDoc This reference is SUPERSEDED by the Accounting Standards Codification effective for interim and annual periods ending after September 15, 2009. This reference is included to help users transition from the previous accounting hierarchy and will be removed from future versions of this taxonomy.

Reference 12: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Statement of Financial Accounting Standard (FAS)

-Number 115

-Paragraph 9

-LegacyDoc This reference is SUPERSEDED by the Accounting Standards Codification effective for interim and annual periods ending after September 15, 2009. This reference is included to help users transition from the previous accounting hierarchy and will be removed from future versions of this taxonomy.

+ Details

- Definition

This item represents the aggregate fair value of investments in debt securities as of the balance sheet date and which are categorized as held-to-maturity.

+ References+ Details

- Definition

As of the balance sheet date, the excess of fair value over carrying value (amortized cost) of a debt security categorized as held-to-maturity, exclusive of dividend or interest income recognized but not yet received and exclusive of any write-downs for other-than-temporary impairment. Such item represents the gross unrecognized holding gain.

+ References+ Details

- Definition

As of the balance sheet date, the excess of carrying value (amortized cost) over fair value of a debt security categorized as held-to-maturity, exclusive of dividend or interest income recognized but not yet received and exclusive of any write-downs for other-than-temporary impairment. Such item represents the gross unrecognized holding loss.

+ References+ Details