rem: document.getElementById("details").setAttribute("value", details); 
add: document.getElementById("details").value = details; 
context: function setDetails(){  var index = parseInt(document.getElementById("nicknames").value);  details = dialogParams.GetString(index+itemCount+3);  document.getElementById("details").setAttribute("value", details);}
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/f243ba77d1818efd3c7e4397984e93474fe9968d/certpicker.js/buggy/security/manager/pki/resources/content/certpicker.js