pull all 9 digit id numbers out of a text file

extractid.py

import re

with open('ids.txt', 'r') as f:
	data = f.read()
	sort = [ anid for and in re.findall(r'[0-9]{9}', data)]
	with open('newids.txt', 'w') as nl:
		for anid in sort:
			nl.write(anid)
			nl.write('\n')