Zahlen, die mit 0173231XXXX beginnen