4212 mm = 13 feet and 9.83 inches