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+4);  document.getElementById("details").setAttribute("value", details);}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/d51a8b11d73868fd5abeeb81815027c1c4267efa/clientauthask.js/clean/security/manager/pki/resources/content/clientauthask.js