Zahlen, die mit 0174257XXXX beginnen