dot += e.pins[1].net +" -- "+ e.pins[2].net +" [label="+ e.name +"];";