Instruct: What is the average Founded, when Enrollment is 4,000?
Output: SELECT AVG Founded FROM table WHERE Enrollment = 4,000