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