Código Javascript:
Ver original
function trabajadores(){ nombre = getElementsByTagName('trabajadores')[pos].firstChild.nodeValue; document.getElementById("div").innerHTML ="<p>'+nombre+'</p>"; pos++ }