How many people lived in the city which has 1.2530 km in the year 2000?
CREATE TABLE table_23511 (
    "No." real,
    "Barangay" text,
    "Area (in km 2 )" text,
    "Rank" real,
    "Population (2000)" real,
    "Population (2007)" real,
    "Population (2010)" real,
    "Population Density (2010)" text
)
SELECT MAX("Population (2000)") FROM table_23511 WHERE "Area (in km 2 )" = '1.2530'
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: How many people lived in the city which has 1.2530 km in the year 2000? ### Input: CREATE TABLE table_23511 (
    "No." real,
    "Barangay" text,
    "Area (in km 2 )" text,
    "Rank" real,
    "Population (2000)" real,
    "Population (2007)" real,
    "Population (2010)" real,
    "Population Density (2010)" text
) ### Response: SELECT MAX("Population (2000)") FROM table_23511 WHERE "Area (in km 2 )" = '1.2530'