Numerazione delle linee nel Navigatore