messenger.navigatePos += historyIndex - 0; if (IsCurrentLoadedFolder(folder)) { gDBView.selectMsgByKey(msgHdr.messageKey); } else { gStartMsgKey = msgHdr.messageKey; SelectFolder(folderUri); } 
messenger.navigatePos += (historyIndex - 0); LoadNavigatedToMessage(msgHdr, folder, folderUri); 
function NavigateToUri(target){  var historyIndex = target.getAttribute('value');  var folderUri = messenger.getFolderUriAtNavigatePos(historyIndex);  var msgUri = messenger.getMsgUriAtNavigatePos(historyIndex);  var folder = RDF.GetResource(folderUri).QueryInterface(Components.interfaces.nsIMsgFolder);  var msgHdr = messenger.msgHdrFromURI(msgUri);  navDebug("navigating from " + messenger.navigatePos + " by " + historyIndex + " to " + msgUri + "\n");  // this "- 0" seems to ensure that historyIndex is treated as an int, not a string.  messenger.navigatePos += historyIndex - 0;  if (IsCurrentLoadedFolder(folder))  {    gDBView.selectMsgByKey(msgHdr.messageKey);  }  else  {    gStartMsgKey = msgHdr.messageKey;    SelectFolder(folderUri);  }}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3727065ec848e2cef2289dbd1fbb34f48b83cda2/mailWindowOverlay.js/clean/mail/base/content/mailWindowOverlay.js