rem: if (element.localName == "textbox") 
add: if (element.localName == "textbox" || element.localName == "label") 
context: function setText(id, value){  var element = document.getElementById(id);  if (!element)    return;  if (element.localName == "textbox")    element.value = value;  else {    if (element.hasChildNodes())      element.removeChild(element.firstChild);    var textNode = document.createTextNode(value);    element.appendChild(textNode);  }}
meta: 10520	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/10520/632bfad01bc68cb5ddf75bf4b9dada03ec1d809b/security.js/clean/browser/base/content/pageinfo/security.js