cooling device, namely, a heat exchanger that circulates cooled air for electronic equipment