Concentration of Risks and Uncertainties (Details) (USD $)	Jun. 30, 2014
Concentration Risk [Line Items]
U.S. treasury securities	$ 524,800,000
Corporate debt securities	625,055,000
Single Corporate Issuer
Concentration Risk [Line Items]
Corporate debt securities	$ 100,200,000

Amount of debt securities categorized neither as held-to-maturity nor trading.

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

-Publisher FASB

-Name Accounting Standards Codification

-Topic 320

-SubTopic 10

-Section 25

-Paragraph 1

-Subparagraph (b)

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

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

-Publisher FASB

-Name Accounting Standards Codification

-Topic 320

-SubTopic 10

-Section 50

-Paragraph 2

-Subparagraph (aa)

-URI http://asc.fasb.org/extlink&oid=27724398&loc=d3e27161-111563

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

-Publisher FASB

-Name Accounting Standards Codification

-Topic 320

-SubTopic 10

-Section 45

-Paragraph 1

-URI http://asc.fasb.org/extlink&oid=6871852&loc=d3e26610-111562

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

-Publisher FASB

-Name Accounting Standards Codification

-Topic 942

-SubTopic 320

-Section 50

-Paragraph 2

-Subparagraph (b)-(g)

-URI http://asc.fasb.org/extlink&oid=6957658&loc=d3e62557-112803

Name:	us-gaap_AvailableForSaleSecuritiesDebtSecurities
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant