Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001037390-20-000030-index-headers.html | 2020-03-31 16:47:37 | |
| 0001037390-20-000030-index.html | 2020-03-31 16:47:37 | |
| 0001037390-20-000030.txt | 2020-03-31 16:47:37 | |
| grif-20200331ex9915a6bff.htm | 40672 | 2020-03-31 16:47:37 |
| grif-20200331x8k.htm | 36882 | 2020-03-31 16:47:37 |