Banans längd torde i detnärmaste