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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/da5122d4f375fd8d520477a12025cf5f4b04e073/newProfile1_2.js/buggy/profile/resources/content/newProfile1_2.js