rem: caption.setAttribute( "value", aCaption ); 
add: caption.setAttribute( "description", aCaption ); 
context: function ChangeCaption( aCaption ){  var caption = document.getElementById( "header" );  caption.setAttribute( "value", aCaption );  document.title = aCaption;}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/61c2b6bbf8b2938a2ea609a59614db320a7af13e/profileManager.js/buggy/profile/resources/content/profileManager.js