Definition:Pandigital Integer