Determine all the 0 to 9 pandigital numbers (no leading zeroes) that have the highest power of 7 as factor.
Note: A m to n pandigital number is a positive integer that contains all the digits from m to n and only those digits once each, for example - 12345 is 1 to 5 pandigital but not 1 to 9 pandigital.