rem:  var title = editCard.titlePrefix + document.getElementById('DisplayName').value; 
add:  var displayName = document.getElementById('DisplayName').value; var title = Bundle.formatStringFromName(editCard.titleProperty, [ displayName ], 1); 
context: function DisplayNameChanged(){	// turn off generateDisplayName if the user changes the display name	editCard.generateDisplayName = false;		var title = editCard.titlePrefix + document.getElementById('DisplayName').value;	if ( top.window.title != title )		top.window.title = title;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/95708e6fe33d3022bc8c67cdccba1f4cc0e750fe/abCardOverlay.js/buggy/mailnews/addrbook/resources/content/abCardOverlay.js