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