4057 mm = 13 feet and 3.72 inches