《煤矿安全规程》第七十一条规定，掘进机作业时，应使用（ ）喷雾装置。