set n 9;while {[incr n]<1e4} {if {[regexp {^9?8?7?6?5?4?3?2?1?0?$} $n]} {puts $n}}