蒸氨全凝器中的氨气是用（）冷却的。