add: return true; 
context: var setAttr = function(id, attr, value) {    /* 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);    document.getElementById(id)[attr] = value;}
meta: 8619	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8619/2dc355848091a78879cd7c8f4c9dd857a4943eaf/preLiveglue.js/clean/branches/athena/nufox/javascript/preLiveglue.js