Uploaded 31 Mar 2010 by Robert Brandsma.
10 × 1.15 × 1.80 × 1.22 × 1.00 = 25.25, rounded to 25. Why these factors.
