Zahlen, die mit 0173245XXXX beginnen