Task: Text to Code
Input (English): What is the zip code of the address where the teacher with first name "Lyla" lives?
Output (English): SELECT T1.zip_postcode FROM Addresses AS T1 JOIN Teachers AS T2 ON T1.address_id  =  T2.address_id WHERE T2.first_name  =  "Lyla"