add: element = document.getElementById(element); 
context: function SetFields(element,set){  //dump("In SetFields(" + element + "," + set + ");\n");  if(element.id == "ProfileDir" && set != "")    getProfileDir(set,false);  else if(element.id == "ProfileName")    element.value = set;}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/95dbb5ec696d0850e233d7810725497be9d50595/newProfile1_2.js/buggy/profile/resources/content/newProfile1_2.js