Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001037390-19-000055-index-headers.html | 2019-10-09 09:02:45 | |
| 0001037390-19-000055-index.html | 2019-10-09 09:02:45 | |
| 0001037390-19-000055.txt | 2019-10-09 09:02:45 | |
| grif-20191009ex991880a22.htm | 202714 | 2019-10-09 09:02:45 |
| grif-20191009x8k.htm | 40091 | 2019-10-09 09:02:45 |