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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/3a0756b5a37051aad17cf8758094508a9fcc9b0f/certpicker.js/buggy/security/manager/pki/resources/content/certpicker.js