Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001037390-20-000022-index-headers.html | 2020-03-12 08:59:22 | |
| 0001037390-20-000022-index.html | 2020-03-12 08:59:22 | |
| 0001037390-20-000022.txt | 2020-03-12 08:59:22 | |
| grif-20200312ex991c96efa.htm | 11902 | 2020-03-12 08:59:22 |
| grif-20200312x8k.htm | 36118 | 2020-03-12 08:59:22 |