add: window.title = aCaption; 
context: function ChangeCaption( aCaption ){  var caption = document.getElementById( "header" );  caption.setAttribute( "value", aCaption );}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/66d3d1052a258e5ade8636ec2dbd0e85a4635c9f/profileManager.js/clean/profile/resources/content/profileManager.js