If i have a group of txt files with the names from 0000 upwards, how can i check to see which txt file is the highest? (Without knowing it prior)