Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0000714562-17-000085-index-headers.html | 2017-11-27 11:05:17 | |
| 0000714562-17-000085-index.html | 2017-11-27 11:05:17 | |
| 0000714562-17-000085.txt | 2017-11-27 11:05:17 | |
| thff20171127divd8-k.htm | 26519 | 2017-11-27 11:05:17 |
| thff20171127divdex99-1.htm | 3559 | 2017-11-27 11:05:17 |