Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001037390-17-000049-index-headers.html | 2017-07-07 09:26:44 | |
| 0001037390-17-000049-index.html | 2017-07-07 09:26:44 | |
| 0001037390-17-000049.txt | 2017-07-07 09:26:44 | |
| grif-20170707ex991937952.htm | 204011 | 2017-07-07 09:26:44 |
| grif-20170707x8k.htm | 36062 | 2017-07-07 09:26:44 |