Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001037390-17-000045-index-headers.html | 2017-06-14 10:06:57 | |
| 0001037390-17-000045-index.html | 2017-06-14 10:06:57 | |
| 0001037390-17-000045.txt | 2017-06-14 10:06:57 | |
| grif-20170614ex99101a26b.htm | 17908 | 2017-06-14 10:06:57 |
| grif-20170614x8k.htm | 42452 | 2017-06-14 10:06:57 |