Question: What is the enrollment at the university where Old Main is located?

full_context: Document 1: State Farm Stadium: State Farm Stadium, formerly known as University of Phoenix Stadium, is a multi-purpose football stadium located in Glendale, Arizona, west of Phoenix. It is the home of the Arizona Cardinals of the National Football League (NFL) and the annual Fiesta Bowl. It replaced Tempe's Sun Devil Stadium as the Valley of the Sun's main stadium. The stadium is adjacent to the Gila River Arena and it features the first fully retractable natural grass playing surface built in the United States on top of an AirField Systems drainage system. An opening on one side of the stadium allows the playing field to move to the exterior of the building, allowing the entire natural turf playing surface to be exposed to daylight and also allowing the floor of the stadium to be used for any other purpose (such as seating for concerts or to accommodate motorsports events) without damaging the turf.
Document 2: West Hall (Valdosta State University): West Hall, built in 1917, is the oldest building at Valdosta State University and features a distinctive dome and Spanish-mission architecture. It is also the center of academic activity at VSU, with numerous classrooms, departments, and offices. West Hall is named in honor of Colonel W.S. West, who as a Georgia state senator, led the legislation for the creation of a college in Valdosta through the Georgia Senate and donated the property that is now the main part of campus to the state for use by the new institution.
Document 3: Administration/Science Building: The Administration/Science Building, originally known as Science Hall, is a building on the campus of Arizona State University in Tempe, Arizona. It is the second-oldest building on campus, constructed in 1909. It currently houses the University Club, a members-only institution open to faculty, staff and community members.
Document 4: Tombstone Courthouse State Historic Park: Tombstone Courthouse State Historic Park is a state park of Arizona in the United States. Located in Tombstone, the park preserves the original Cochise County courthouse. The two-story building, constructed in 1882 in the Victorian style, is laid out in the shape of a cross and once contained various county offices, including those of the sheriff, recorder, treasurer, and the Board of Supervisors as well as courtrooms and a jail. Inside, the courthouse contains a museum with numerous artifacts from the town's history while outside, a replica gallows has been constructed in the courtyard to mark the spot where seven men were hanged for various crimes. The park was one of the first to be designated as a state park and in 1959 was the first to open following the 1957 establishment of the Arizona State Parks Board.
Document 5: Arizona State University: ASU is one of the largest public universities by enrollment in the U.S. It had approximately 72,000 students enrolled in fall 2016, including nearly 59,000 undergraduate and more than 13,000 graduate students. ASU's charter, approved by the board of regents in 2014, is based on the ``New American University ''model created by ASU President Crow. It defines ASU as`` a comprehensive public research university, measured not by whom it excludes, but rather by whom it includes and how they succeed; advancing research and discovery of public value; and assuming fundamental responsibility for the economic, social, cultural and overall health of the communities it serves.''
Document 6: University of California, Los Angeles: The University of California, Los Angeles (UCLA) is a public research university in Los Angeles. It became the Southern Branch of the University of California in 1919, making it the fourth-oldest (after UC Berkeley, UC San Francisco, and UC Davis) of the 10-campus University of California system. It offers 337 undergraduate and graduate degree programs in a wide range of disciplines. UCLA enrolls about 31,000 undergraduate and 13,000 graduate students and had 119,000 applicants for Fall 2016, including transfer applicants, making the school the most applied-to of any American university.The university is organized into six undergraduate colleges, seven professional schools, and four professional health science schools. The undergraduate colleges are the College of Letters and Science; Samueli School of Engineering; School of the Arts and Architecture; Herb Alpert School of Music; School of Theater, Film and Television; and School of Nursing.
Document 7: List of United States public university campuses by enrollment: Ten largest public university campuses by enrollment during the 2017 -- 18 academic year Ranking University Location Enrollment Reference (s) Texas A&M University College Station, Texas 68,603 University of Central Florida Orlando, Florida 66,180 Ohio State University Columbus, Ohio 59,837 Florida International University Miami, Florida 56,851 5 University of Florida Gainesville, Florida 52,367 6 University of Minnesota Minneapolis / Saint Paul, Minnesota 51,848 7 University of Texas at Austin Austin, Texas 51,525 8 Arizona State University Tempe, Arizona 51,164 9 Michigan State University East Lansing, Michigan 50,019 10 Indiana University Bloomington, Indiana 49,695
Document 8: Old Main (Arizona State University): Old Main is the second building on the campus of Arizona State University, in Tempe, Arizona. It was built in 1898, 14 years before Arizona became a state. In 1985, Old Main was added to the National Register of Historic Places.
Document 9: B. B. Moeur Activity Building: The B. B. Moeur Activity Building is a structure on the campus of Arizona State University in Tempe, Arizona. Constructed from 1936 to 1939 by the Works Progress Administration, it was added to the National Register of Historic Places in September 1985, ahead of the typical 50-year requirement for National Register sites, for "exceptional" architectural and historical merit. It is the largest WPA-built adobe building in the state.
Document 10: Valdosta State University: Valdosta State University, also referred to as VSU, or Valdosta State, is an American public university and is one of the four comprehensive universities in the University System of Georgia. Valdosta State is located on a campus at the heart of the city of Valdosta. VSU serves over 11,000 undergraduate and graduate students representing 157 Georgia counties, all 50 states, Puerto Rico, the United States Virgin Islands, American Samoa and Washington, D.C. and hosts over 300 international students from 76 countries. VSU also offers classes at Moody Air Force Base north of Valdosta in Lowndes County.
Document 11: North Carolina: In 1795, North Carolina opened the first public university in the United States—the University of North Carolina (now named the University of North Carolina at Chapel Hill). More than 200 years later, the University of North Carolina system encompasses 17 public universities including North Carolina State University, North Carolina A&T State University, North Carolina Central University, the University of North Carolina at Chapel Hill, the University of North Carolina at Greensboro, East Carolina University, Western Carolina University, Winston-Salem State University, the University of North Carolina at Asheville, the University of North Carolina at Charlotte, the University of North Carolina at Pembroke, UNC Wilmington, Elizabeth City State University, Appalachian State University, Fayetteville State University, and UNC School of the Arts, and . Along with its public universities, North Carolina has 58 public community colleges in its community college system.The largest university in North Carolina is currently North Carolina State University, with more than 34,000 students. North Carolina is home to many excellent universities as well as dozens of community colleges and private universities.
Document 12: List of United States public university campuses by enrollment: Ten largest public university campuses by enrollment during the 2016 -- 17 academic year Ranking University Location Enrollment Reference (s) University of Central Florida Orlando, Florida 64,335 Texas A&M University College Station, Texas 60,435 Ohio State University Columbus, Ohio 59,482 Florida International University Miami, Florida 55,111 5 University of Florida Gainesville, Florida 52,367 6 Arizona State University Tempe, Arizona 51,869 7 University of Minnesota Minneapolis / Saint Paul, Minnesota 51,580 8 University of Texas at Austin Austin, Texas 51,331 9 Michigan State University East Lansing, Michigan 50,344 10 Indiana University Bloomington, Indiana 49,695
Document 13: Tucson, Arizona: Tucson is commonly known as "The Old Pueblo". While the exact origin of this nickname is uncertain, it is commonly traced back to Mayor R. N. "Bob" Leatherwood. When rail service was established to the city on March 20, 1880, Leatherwood celebrated the fact by sending telegrams to various leaders, including the President of the United States and the Pope, announcing that the "ancient and honorable pueblo" of Tucson was now connected by rail to the outside world. The term became popular with newspaper writers who often abbreviated it as "A. and H. Pueblo". This in turn transformed into the current form of "The Old Pueblo".
Document 14: Tucson, Arizona: On Sentinel Peak (also known as "'A' Mountain"), just west of downtown, there is a giant "A" in honor of the University of Arizona. Starting in about 1916, a yearly tradition developed for freshmen to whitewash the "A", which was visible for miles. However, at the beginning of the Iraq War, anti-war activists painted it black. This was followed by a paint scuffle where the "A" was painted various colors until the city council intervened. It is now red, white and blue except when it is white or another color decided by a biennial election. Because of the three-color paint scheme often used, the shape of the A can be vague and indistinguishable from the rest of the peak. The top of Sentinel Peak, which is accessible by road, offers an outstanding scenic view of the city looking eastward. A parking lot located near the summit of Sentinel Peak was formerly a popular place to watch sunsets or view the city lights at night.
Document 15: San Jose, California: San Jose is home to several colleges and universities. The largest is San Jose State University, which was founded by the California legislature in 1862 as the California State Normal School, and is the founding campus of the California State University (CSU) system. Located in downtown San Jose since 1870, the university enrolls approximately 30,000 students in over 130 different bachelor's and master's degree programs. The school enjoys a good academic reputation, especially in the fields of engineering, business, art and design, and journalism, and consistently ranks among the top public universities in the western region of the United States. San Jose State is one of only three Bay Area schools that fields a Football Bowl Subdivision (FBS) Division I college football team; Stanford University and U.C. Berkeley are the other two.
ground_truth: 72,000
sub_queries: Old Main >> location Answer: Arizona State University
what is the enrollment at Arizona State University Answer: 72,000