Quarter	Millions of US Dollars
2003-01-01	0
2003-04-01	0
2003-07-01	0
2003-10-01	0
2004-01-01	0
2004-04-01	0
2004-07-01	0
2004-10-01	0
2005-01-01	0
2005-04-01	0
2005-07-01	0
2005-10-01	0
2006-01-01	0
2006-04-01	0
2006-07-01	0
2006-10-01	0
2007-01-01	500
2007-04-01	750
2007-07-01	750
2007-10-01	750
2008-01-01	250
2008-04-01	0
2008-07-01	0
2008-10-01	0
2009-01-01	0
2009-04-01	0
2009-07-01	0
2009-10-01	0
2010-01-01	0
2010-04-01	0
2010-07-01	0
2010-10-01	0
2011-01-01	0
2011-04-01	0
2011-07-01	0
2011-10-01	0
2012-01-01	350
2012-04-01	350
2012-07-01	350
2012-10-01	350
2013-01-01	0
2013-04-01	750
2013-07-01	750
2013-10-01	750
2014-01-01	750
2014-04-01	750
2014-07-01	750
2014-10-01	750
2015-01-01	750
2015-04-01	0
2015-07-01	0
2015-10-01	0
2016-01-01	0
2016-04-01	0
2016-07-01	0
2016-10-01	67
2017-01-01	68
2017-04-01	105
2017-07-01	107
2017-10-01	787
2018-01-01	789
2018-04-01	750