$ETH 1717 ist eine schöne Zahl