Banans längd l1 / , eng . mil.