Banans längd war en * / « mil.