HOT QUENCHING OIL