Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001037390-19-000034-index-headers.html | 2019-06-06 09:05:29 | |
| 0001037390-19-000034-index.html | 2019-06-06 09:05:29 | |
| 0001037390-19-000034.txt | 2019-06-06 09:05:29 | |
| grif-20190606ex991b80e41.htm | 12820 | 2019-06-06 09:05:29 |
| grif-20190606x8k.htm | 40833 | 2019-06-06 09:05:29 |