China DOS Union

For example, I want to search for txt files on drive F whose filenames contain 123, and then save the results as a.txt
For example, if F contains abc.txt, 1234.txt, 2008.txt, 01123.txt, 312325.txt
I want to find 1234.txt, 01123.txt, 312325.txt
Please explain it!

The form is roughly like this (since I haven't fully mastered it yet), so mistakes are unavoidable! For reference only:

for %a in ('dir *.txt /b^|find /v "123"') do echo %a>>a.txt

Originally posted by ThinKing at 2008-1-6 05:21 PM:

dir /s/b/a-d F:\*123*.txt>a.txt

Thanks so much!