Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0000714142-17-000004-index-headers.html | 2017-08-11 16:49:57 | |
| 0000714142-17-000004-index.html | 2017-08-11 16:49:57 | |
| 0000714142-17-000004.txt | 2017-08-11 16:49:57 | |
| edgar20170630.xml | 1246578 | 2017-08-11 16:49:57 |
| primary_doc.xml | 4718 | 2017-08-11 16:49:57 |