Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0000712534-20-000207-index-headers.html | 2020-07-23 09:09:44 | |
| 0000712534-20-000207-index.html | 2020-07-23 09:09:44 | |
| 0000712534-20-000207.txt | 2020-07-23 09:09:44 | |
| a13f2ndqtr2020informationt.xml | 182837 | 2020-07-23 09:09:44 |
| primary_doc.xml | 1936 | 2020-07-23 09:09:44 |