Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0000811596-17-000032-index-headers.html | 2017-07-19 16:32:18 | |
| 0000811596-17-000032-index.html | 2017-07-19 16:32:18 | |
| 0000811596-17-000032.txt | 2017-07-19 16:32:18 | |
| a20170630earningsrelease.htm | 368135 | 2017-07-19 16:32:18 |
| a2017q2earnings.htm | 32043 | 2017-07-19 16:32:18 |