Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001037390-19-000075-index-headers.html | 2019-12-09 09:03:49 | |
| 0001037390-19-000075-index.html | 2019-12-09 09:03:49 | |
| 0001037390-19-000075.txt | 2019-12-09 09:03:49 | |
| grif-20191209ex991a0e8f5.htm | 12777 | 2019-12-09 09:03:49 |
| grif-20191209x8k.htm | 40737 | 2019-12-09 09:03:49 |