Uploaded 12 Jun 2009 by Tal-Dr.Escher.
10 × 1.00 × 1.00 × 1.28 × 1.00 = 12.80, rounded to 13. Why these factors.