Parent Directory| Name | Size | Last Modified |
|---|---|---|
 0000950170-25-076100-index-headers.html | 2025-05-22 10:15:30 | |
| 0000950170-25-076100-index.html | 2025-05-22 10:15:30 | |
| 0000950170-25-076100.txt | 2025-05-22 10:15:30 | |
 0000950170-25-076100-xbrl.zip | 9727 | 2025-05-22 10:15:30 |
| efsi-20250520.htm | 88478 | 2025-05-22 10:15:30 |
| efsi-20250520.xsd | 23888 | 2025-05-22 10:15:30 |
| efsi-20250520_htm.xml | 4532 | 2025-05-22 10:15:30 |
| FilingSummary.xml | 1661 | 2025-05-22 10:15:30 |
| MetaLinks.json | 17461 | 2025-05-22 10:15:30 |
| R1.htm | 38102 | 2025-05-22 10:15:30 |
| report.css | 2766 | 2025-05-22 10:15:30 |
| Show.js | 1084 | 2025-05-22 10:15:30 |