Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001037390-20-000053-index-headers.html | 2020-06-16 16:04:09 | |
| 0001037390-20-000053-index.html | 2020-06-16 16:04:09 | |
| 0001037390-20-000053.txt | 2020-06-16 16:04:09 | |
| grif-20200616ex991d0c5f5.htm | 36464 | 2020-06-16 16:04:09 |
| grif-20200616x8k.htm | 61477 | 2020-06-16 16:04:09 |