Investments: - Gross realized gains, losses and proceeds from available-for-sale securities (Details) - USD ($) $ in Thousands	12 Months Ended
Dec. 31, 2016	Dec. 31, 2015	Dec. 31, 2014
Investments:
Gross realized gains	$ 19,934	$ 53,453	$ 64,437
Gross realized losses	(20,030)	(18,989)	(46,258)
Proceeds from sales	$ 439,540	$ 640,217	$ 438,941

This item represents the gross profit realized on the sale of debt or equity securities categorized neither as held-to-maturity nor trading securities.

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 50
-Paragraph 9
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=27724398&loc=d3e27357-111563

+ Details

Name:	us-gaap_AvailableForSaleSecuritiesGrossRealizedGains
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

This item represents the gross loss realized on the sale of debt or equity securities categorized neither as held-to-maturity nor trading securities.

+ References

+ Details

Name:	us-gaap_AvailableForSaleSecuritiesGrossRealizedLosses
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- References

No definition available.

+ Details

Name:	us-gaap_InvestmentsDebtAndEquitySecuritiesAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

The cash inflow associated with the sale of debt and equity securities classified as available-for-sale securities.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Glossary Investing Activities
-URI http://asc.fasb.org/extlink&oid=6516133

Reference 2: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 320
-SubTopic 10
-Section 45
-Paragraph 11
-URI http://asc.fasb.org/extlink&oid=49167202&loc=d3e26853-111562

Reference 3: http://www.xbrl.org/2003/role/presentationRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 230
-SubTopic 10
-Section 45
-Paragraph 12
-Subparagraph (a),(b)
-URI http://asc.fasb.org/extlink&oid=56944662&loc=d3e3179-108585

+ Details

Name:	us-gaap_ProceedsFromSaleOfAvailableForSaleSecurities
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration