3937 mm = 12 feet and 11 inches