Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001037390-18-000012-index-headers.html | 2018-02-08 10:03:34 | |
| 0001037390-18-000012-index.html | 2018-02-08 10:03:34 | |
| 0001037390-18-000012.txt | 2018-02-08 10:03:34 | |
| grif-20180208ex99109be8b.htm | 220501 | 2018-02-08 10:03:34 |
| grif-20180208x8k.htm | 36088 | 2018-02-08 10:03:34 |