5258 mm = 17 feet and 3.01 inches