Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001037390-19-000046-index-headers.html | 2019-09-16 09:04:25 | |
| 0001037390-19-000046-index.html | 2019-09-16 09:04:25 | |
| 0001037390-19-000046.txt | 2019-09-16 09:04:25 | |
| grif-20190916ex99152d253.htm | 17676 | 2019-09-16 09:04:25 |
| grif-20190916x8k.htm | 45338 | 2019-09-16 09:04:25 |