Banans längd l1 / * eng.