4217 mm = 13.835302 feet