Quarter	Millions of US Dollars
2012-07-01	400
2012-10-01	400
2013-01-01	400
2013-04-01	400
2013-07-01	400
2013-10-01	400
2014-01-01	400
2014-04-01	400
2014-07-01	400
2014-10-01	1150
2015-01-01	1150
2015-04-01	1150
2015-07-01	1150
2015-10-01	750
2016-01-01	750
2016-04-01	750
2016-07-01	1050
2016-10-01	1050
2017-01-01	1050
2017-04-01	1050
2017-07-01	1135
2017-10-01	1135
2018-01-01	1435
2018-04-01	1435