Uploaded 26 Feb 2009 by r-i-c-c-a-r-d-o.
10 × 1.00 × 1.00 × 1.15 × 1.00 = 11.50, rounded to 12. Why these factors.
