for (var i in nodes) { 
for (var i = 0; i < nodes.length; ++ i) { 
    getElementText: function(element) {      var nodes = element.childNodes;      var text = "";      for (var i in nodes) {        var child = nodes[i];        if (child.nodeType == 3) {          text = text + child.nodeValue;          }        }      return text;     },
7245	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7245/568b7f77d361d596adc1d2fd09deb0f75e174be5/rsf.js/clean/templates/src/webapp/content/js/rsf.js