Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0001037390-17-000038-index-headers.html | 2017-05-23 09:27:30 | |
| 0001037390-17-000038-index.html | 2017-05-23 09:27:30 | |
| 0001037390-17-000038.txt | 2017-05-23 09:27:30 | |
| grif-20170523ex991b20b74.htm | 15073 | 2017-05-23 09:27:30 |
| grif-20170523x8k.htm | 38137 | 2017-05-23 09:27:30 |