Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001037390-17-000076-index-headers.html | 2017-09-25 09:19:33 | |
| 0001037390-17-000076-index.html | 2017-09-25 09:19:33 | |
| 0001037390-17-000076.txt | 2017-09-25 09:19:33 | |
| grif-20170925ex9917ba8f8.htm | 14117 | 2017-09-25 09:19:33 |
| grif-20170925x8k.htm | 43454 | 2017-09-25 09:19:33 |