The leftmost instance of a prime substring in decimal expansion of pi that starts with 80.

To be completed...