what is the area in km2 for the district whose original name was kecamatan bogor timur?
10.15