CREATE TABLE table_name_20 (area INTEGER, english_name VARCHAR(255))
What's the average area for the xinluo district?
    
SQL: SELECT AVG(area) FROM table_name_20 WHERE english_name = "xinluo district"