Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0000819793-19-000007-index-headers.html | 2019-05-14 09:58:44 | |
| 0000819793-19-000007-index.html | 2019-05-14 09:58:44 | |
| 0000819793-19-000007.txt | 2019-05-14 09:58:44 | |
| edgar.xml | 3147 | 2019-05-14 09:58:44 |
| murphy.htm | 1305 | 2019-05-14 09:58:44 |