| Release Date | December 11, 1942 | |
|---|---|---|
| Status | Released | |
| Original Title | Pretty Dolly | |
| Runtime | 20min | |
| Budget | — | |
| Revenue | — | |
| Language | — | |
| Original Language | English | |
| Production Countries | United States of America | |
| Production Companies | RKO Radio Pictures | |
| Release Date | December 11, 1942 | |
|---|---|---|
| Status | Released | |
| Original Title | Pretty Dolly | |
| Runtime | 20min | |
| Budget | — | |
| Revenue | — | |
| Language | — | |
| Original Language | English | |
| Production Countries | United States of America | |
| Production Companies | RKO Radio Pictures | |