Hi I am new at python, so say I have a text folder with many number records in a single column how would I go about extracting only numbers that begin with zero and is either 10 or 7 digits long creating a new txt file for the 7 digit long numbers, the 10 digit long numbers and finally keeping the rest of the numbers in the original file?

Thanks in advance for your help!