rem: /* Set attribute 'attr' on node with 'id' to 'value'. */  
add: /* Set attribute 'attr' on node with 'id' to 'value'.  This might seem a bit odd but some xul widgets only support one or the other method of setting attrs.. */ document.getElementById(id).setAttribute(attr, value); 
context: var setAttr = function(id, attr, value) {    /* Set attribute 'attr' on node with 'id' to 'value'. */    //document.getElementById(id).setAttribute(attr, value);    document.getElementById(id)[attr] = value;}
meta: 8619	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8619/8750207623592d10e63cf650dca82870747fa942/preLiveglue.js/buggy/trunk/nufox/javascript/preLiveglue.js