Uploaded 05 Oct 2012 by Flitzesteff.
10 × 1.30 × 1.00 × 0.80 × 1.00 = 10.40, rounded to 10. Why these factors.
