User blog comment:Vel!/Call for math facts/@comment-5150073-20140801144244

10^13-th digit of pi is 5.