Welding machines, namely, electric tig welding machines and electronic stick welding machines, and electric plasma cutters, mig welders, arc welders