Quanto è lunga la galleria?