EE got his finger cut with the edge of a 12"" pipe while operators were performing maint. on the dredge. The injured finger is the right little finger or ""pinky"". Operator was wearing his P.P. E. at the time including gloves. EE was taken to the hospital immediately and doctors will determine the damage.