The University of Texas System (informally UT System) encompasses fifteen educational institutions in Texas, of which nine are academic universities and six are health institutions. The system is headquartered in Downtown Austin and has a total enrollment of over 190,000 students. Its flagship institution is The University of Texas at Austin. The University of Texas System is headquartered in Downtown Austin. The system headquarters complex includes O'Henry Hall, Claudia Taylor Johnson Hall, Ashbel Smith Hall, the Colorado Building, the Lavaca Building, and the Norwood Tower. Parking garages serving the complex include Parking Garage I, Parking Garage II, Parking Garage III, 300 West 6th Street Parking Garage, and the garage between the Colorado and Lavaca buildings.