Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0000714142-18-000003-index-headers.html | 2018-08-13 12:00:08 | |
| 0000714142-18-000003-index.html | 2018-08-13 12:00:08 | |
| 0000714142-18-000003.txt | 2018-08-13 12:00:08 | |
| edgar06302018.xml | 1257916 | 2018-08-13 12:00:08 |
| primary_doc.xml | 5335 | 2018-08-13 12:00:08 |