rem: function setLabelText(pIdent, pName, pText) 
add: function setLabelText(pIdent, pName, pText) 
context: function setLabelText(pIdent, pName, pText) {    name = "plbl" + pName + pIdent;    document.getElementById(name).firstChild.nodeValue = pText;}
meta: 5405	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5405/6015c031f77c815c2b27b5a82840fa2621e78f68/progress2_number.js/clean/examples/horizontal/progress2_number.js