Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001037390-20-000037-index-headers.html | 2020-05-07 09:05:37 | |
| 0001037390-20-000037-index.html | 2020-05-07 09:05:37 | |
| 0001037390-20-000037.txt | 2020-05-07 09:05:37 | |
| grif-20200507ex9913f2ffc.htm | 29994 | 2020-05-07 09:05:37 |
| grif-20200507x8k.htm | 36594 | 2020-05-07 09:05:37 |