Agra is one of the 75 districts in the northern Indian state of Uttar Pradesh. The district headquarters is the historical city of Agra. Agra district is a part of Agra division. Wikipedia