rem: var currentProfileItem = document.getElementById( ( "profileName_" + currentProfile ) ); 
context: function highlightCurrentProfile(){  try {    var currentProfile = profile.currentProfile;    if( !currentProfile )      return;    var currentProfileItem = document.getElementById( ( "profileName_" + currentProfile ) );    var profileList = document.getElementById( "profiles" );    if( currentProfileItem ) {      profileList.selectItem( currentProfileItem );      profileList.ensureElementIsVisible( currentProfileItem );    }  }  catch(e) {    dump("*** failed to select current profile in list\n");  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/97b2b7af1273ff0f6a722d514056886f4d4e2d5a/profileSelection.js/buggy/profile/resources/content/profileSelection.js