Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001037390-17-000041-index-headers.html | 2017-06-12 09:54:09 | |
| 0001037390-17-000041-index.html | 2017-06-12 09:54:09 | |
| 0001037390-17-000041.txt | 2017-06-12 09:54:09 | |
| grif-20170612ex991c7a664.htm | 18080 | 2017-06-12 09:54:09 |
| grif-20170612x8k.htm | 37942 | 2017-06-12 09:54:09 |