Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001037390-17-000083-index-headers.html | 2017-10-10 09:36:56 | |
| 0001037390-17-000083-index.html | 2017-10-10 09:36:56 | |
| 0001037390-17-000083.txt | 2017-10-10 09:36:56 | |
| grif-20171010ex99122aef5.htm | 219189 | 2017-10-10 09:36:56 |
| grif-20171010x8k.htm | 36072 | 2017-10-10 09:36:56 |