Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001037390-17-000022-index-headers.html | 2017-05-01 09:53:14 | |
| 0001037390-17-000022-index.html | 2017-05-01 09:53:14 | |
| 0001037390-17-000022.txt | 2017-05-01 09:53:14 | |
| grif-20170501ex99125227b.htm | 13270 | 2017-05-01 09:53:14 |
| grif-20170501x8k.htm | 42067 | 2017-05-01 09:53:14 |