Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0000811596-18-000036-index-headers.html | 2018-07-23 16:37:58 | |
| 0000811596-18-000036-index.html | 2018-07-23 16:37:58 | |
| 0000811596-18-000036.txt | 2018-07-23 16:37:58 | |
| a20180630earningsrelease.htm | 385544 | 2018-07-23 16:37:58 |
| a2018q2earningsrelease.htm | 33455 | 2018-07-23 16:37:58 |