Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001037390-18-000007-index-headers.html | 2018-01-31 09:06:28 | |
| 0001037390-18-000007-index.html | 2018-01-31 09:06:28 | |
| 0001037390-18-000007.txt | 2018-01-31 09:06:28 | |
| grif-20180131ex99114a3e7.htm | 16601 | 2018-01-31 09:06:28 |
| grif-20180131x8k.htm | 43442 | 2018-01-31 09:06:28 |