What is this tool?

Plastic welder