Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001037390-18-000078-index-headers.html | 2018-10-09 09:10:29 | |
| 0001037390-18-000078-index.html | 2018-10-09 09:10:29 | |
| 0001037390-18-000078.txt | 2018-10-09 09:10:29 | |
| grif-20181009ex991762e17.htm | 213937 | 2018-10-09 09:10:29 |
| grif-20181009x8k.htm | 35845 | 2018-10-09 09:10:29 |