پشت صحنه فیلم عروسکی "کلاه قرمزی و پسرخانه"؛ پرفروش‌ترین فیلم سینمای ایران در دهه هفتاد