rem: function setElementStyle(pPrefix, pName, pIdent, pStyles) 
add: function setElementStyle(pPrefix, pName, pIdent, pStyles) 
context: function setElementStyle(pPrefix, pName, pIdent, pStyles) {    name = pPrefix + pName + pIdent;    styles = pStyles.split(';');    styles.pop();    for (i = 0; i < styles.length; i++)    {        s = styles[i].split(':');        c = 'document.getElementById(name).style.' + s[0] + '="' + s[1] + '"';        eval(c);    }}
meta: 5405	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5405/6015c031f77c815c2b27b5a82840fa2621e78f68/progress2_number.js/clean/examples/horizontal/progress2_number.js