Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001037390-18-000056-index-headers.html | 2018-07-10 08:41:43 | |
| 0001037390-18-000056-index.html | 2018-07-10 08:41:43 | |
| 0001037390-18-000056.txt | 2018-07-10 08:41:43 | |
| grif-20180710ex991aa9fd7.htm | 208615 | 2018-07-10 08:41:43 |
| grif-20180710x8k.htm | 35816 | 2018-07-10 08:41:43 |