Banans längd l1 / * eng . mil.