What is the 2012 population of Indonesia?
CREATE TABLE table_4095 (
    "Country" text,
    "Area (km 2 )" real,
    "Population(2012)" real,
    "Density (/km 2 )" real,
    "GDP (nominal), USD (2012)" text,
    "GDP (nominal) per capita, USD (2012)" text,
    "HDI (2012)" text,
    "Capital" text
)
SELECT "Population(2012)" FROM table_4095 WHERE "Country" = 'Indonesia'
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: What is the 2012 population of Indonesia? ### Input: CREATE TABLE table_4095 (
    "Country" text,
    "Area (km 2 )" real,
    "Population(2012)" real,
    "Density (/km 2 )" real,
    "GDP (nominal), USD (2012)" text,
    "GDP (nominal) per capita, USD (2012)" text,
    "HDI (2012)" text,
    "Capital" text
) ### Response: SELECT "Population(2012)" FROM table_4095 WHERE "Country" = 'Indonesia'