₄DT*ŸʒD0åsSO9Q*
Explanation:
₄DT*Ÿ # List in the range [1000,10000]
ʒ # Filter this list by:
D0å # The number contains a 0
* # And
sSO9Q # The sum of its digits is exactly 9