4237 mm = 13 feet and 10.81 inches