Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001037390-17-000065-index-headers.html | 2017-08-07 09:20:54 | |
| 0001037390-17-000065-index.html | 2017-08-07 09:20:54 | |
| 0001037390-17-000065.txt | 2017-08-07 09:20:54 | |
| grif-20170807ex9916f89d5.htm | 13263 | 2017-08-07 09:20:54 |
| grif-20170807x8k.htm | 41208 | 2017-08-07 09:20:54 |