Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001037390-19-000058-index-headers.html | 2019-10-09 09:12:58 | |
| 0001037390-19-000058-index.html | 2019-10-09 09:12:58 | |
| 0001037390-19-000058.txt | 2019-10-09 09:12:58 | |
| grif-20191009ex9919d0eee.htm | 12467 | 2019-10-09 09:12:58 |
| grif-20191009x8k.htm | 37955 | 2019-10-09 09:12:58 |