Table schema:
CREATE TABLE table_name_20 (area INTEGER, english_name VARCHAR)

Question: What's the average area for the xinluo district?
SQL: SELECT AVG(area) FROM table_name_20 WHERE english_name = "xinluo district"