Uploaded 07 Apr 2010 by Robert Brandsma.
10 × 1.30 × 0.60 × 1.57 × 1.00 = 12.25, rounded to 12. Why these factors.
