Write SQL query to solve given problem: Among HTC Butterfly phone users, list any five devices' IDs used by females.. Keep the solution inside sql tag ```sql [SQL-Query] ```
SELECT T2.device_id FROM phone_brand_device_model2 AS T1 INNER JOIN gender_age AS T2 ON T2.device_id = T1.device_id WHERE T1.device_model = 'Butterfly' AND T2.gender = 'F' AND T1.phone_brand = 'HTC' LIMIT 5