Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001037390-20-000048-index-headers.html | 2020-05-12 12:44:39 | |
| 0001037390-20-000048-index.html | 2020-05-12 12:44:39 | |
| 0001037390-20-000048.txt | 2020-05-12 12:44:39 | |
| grif-20200507ex101a648a3.htm | 227583 | 2020-05-12 12:44:39 |
| grif-20200507x8k.htm | 67928 | 2020-05-12 12:44:39 |