Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001037390-20-000003-index-headers.html | 2020-01-21 09:04:51 | |
| 0001037390-20-000003-index.html | 2020-01-21 09:04:51 | |
| 0001037390-20-000003.txt | 2020-01-21 09:04:51 | |
| grif-20200121ex991569d47.htm | 13162 | 2020-01-21 09:04:51 |
| grif-20200121x8k.htm | 37981 | 2020-01-21 09:04:51 |