context: function selectServer(server){  var selectedItem;    if (server)    selectedItem = document.getElementById(server.serverURI);  if (!selectedItem)    selectedItem = getFirstAccount();    accounttree.selectItem(selectedItem);    var result = getServerIdAndPageIdFromTree(accounttree);  if (result) {    updateButtons(accounttree,result.serverId);  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/eaa6754a0a946375badf1165b3e4af3999e4b03c/AccountManager.js/buggy/mailnews/base/prefs/resources/content/AccountManager.js