शाळेतील मुलांच्या आणि मुलींच्या संख्येचे गुणोत्तर 5 ∶ 7 आहे. जर शाळेत 1001 मुली असतील तर शाळेतील एकूण विद्यार्थी संख्या किती आहे?