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: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/0b2dd2b2d2fd037df917e07645fa019a963332a5/AccountManager.js/buggy/mailnews/base/prefs/resources/content/AccountManager.js