Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001037390-20-000071-index-headers.html | 2020-09-17 17:08:36 | |
| 0001037390-20-000071-index.html | 2020-09-17 17:08:36 | |
| 0001037390-20-000071.txt | 2020-09-17 17:08:36 | |
| grif-20200917ex9916daf8b.htm | 29787 | 2020-09-17 17:08:36 |
| grif-20200917x8k.htm | 63433 | 2020-09-17 17:08:36 |