Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001145549-20-002669-index-headers.html | 2020-01-28 09:20:54 | |
| 0001145549-20-002669-index.html | 2020-01-28 09:20:54 | |
| 0001145549-20-002669.txt | 2020-01-28 09:20:54 | |
| direxion113019.htm | 375314 | 2020-01-28 09:20:54 |
| primary_doc.xml | 8556 | 2020-01-28 09:20:54 |