6.1251
Darum kann es in der Logik auch nie Überraschungen geben.