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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/5ed012f6738eb68bd576d82c2752ebcd372bf2d4/profileManager.js/buggy/profile/resources/content/profileManager.js