ball mill gear box and bearing oil pumps function