Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001037390-20-000027-index-headers.html | 2020-03-17 17:34:20 | |
| 0001037390-20-000027-index.html | 2020-03-17 17:34:20 | |
| 0001037390-20-000027.txt | 2020-03-17 17:34:20 | |
| grif-20200317ex991564b00.htm | 15161 | 2020-03-17 17:34:20 |
| grif-20200317x8k.htm | 41303 | 2020-03-17 17:34:20 |