what is the population of the division with headquarter of agra ?
11,304,646