Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001037390-19-000043-index-headers.html | 2019-07-22 09:05:51 | |
| 0001037390-19-000043-index.html | 2019-07-22 09:05:51 | |
| 0001037390-19-000043.txt | 2019-07-22 09:05:51 | |
| grif-20190722ex99102dd62.htm | 15579 | 2019-07-22 09:05:51 |
| grif-20190722x8k.htm | 43200 | 2019-07-22 09:05:51 |