История К тому времени, когда был выпущен «Робин Гуд», только четверо из Девяти стариков все еще работали в Disney.
К тому времени, как Робин Гуд был выпущен, только четверо из Девяти стариков все еще работали в Disney.