The first 20 digits of pi