Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001037390-18-000087-index-headers.html | 2018-11-15 09:00:21 | |
| 0001037390-18-000087-index.html | 2018-11-15 09:00:21 | |
| 0001037390-18-000087.txt | 2018-11-15 09:00:21 | |
| grif-20181115ex991f9b3d6.htm | 14537 | 2018-11-15 09:00:21 |
| grif-20181115x8k.htm | 32480 | 2018-11-15 09:00:21 |