Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0000714142-19-000003-index-headers.html | 2019-10-03 13:00:42 | |
| 0000714142-19-000003-index.html | 2019-10-03 13:00:42 | |
| 0000714142-19-000003.txt | 2019-10-03 13:00:42 | |
| edgar06302019.xml | 1239396 | 2019-10-03 13:00:42 |
| primary_doc.xml | 5331 | 2019-10-03 13:00:42 |