pi, 10000 digits