Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0000932471-17-004331-index-headers.html | 2017-06-07 07:20:57 | |
| 0000932471-17-004331-index.html | 2017-06-07 07:20:57 | |
| 0000932471-17-004331.txt | 2017-06-07 07:20:57 | |
 0000932471-17-004331-xbrl.zip | 34705 | 2017-06-07 07:20:57 |
 BarChart1.png | 29424 | 2017-06-07 07:20:57 |
| explorer-20170519.xml | 38951 | 2017-06-07 07:20:57 |
| explorer-20170519.xsd | 8038 | 2017-06-07 07:20:57 |
| explorer-20170519_cal.xml | 3586 | 2017-06-07 07:20:57 |
| explorer-20170519_def.xml | 213847 | 2017-06-07 07:20:57 |
| explorer-20170519_lab.xml | 142371 | 2017-06-07 07:20:57 |
| explorer-20170519_pre.xml | 153092 | 2017-06-07 07:20:57 |
| explorer_xbrl.htm | 20253 | 2017-06-07 07:20:57 |
| FilingSummary.xml | 3425 | 2017-06-07 07:20:57 |
| R1.htm | 16191 | 2017-06-07 07:20:57 |
| R2.htm | 109743 | 2017-06-07 07:20:57 |
| R8.htm | 204601 | 2017-06-07 07:20:57 |
| R9.htm | 7481 | 2017-06-07 07:20:57 |
| report.css | 2767 | 2017-06-07 07:20:57 |
| Show.js | 1410 | 2017-06-07 07:20:57 |