Zahlen, die mit 0172112XXXX beginnen