rem: dump("failed to set the selected server: " + ex + "\n"); 
context: function SetUpServerMenu(){	//dump("SetUpServerMenu()\n");    var serverMenu = document.getElementById("serverMenu");    var menuitems = serverMenu.getElementsByAttribute("id", gServerURI);	try {		//dump("gServerURI="+gServerURI+"\n");		//dump("menuitems="+menuitems+"\n");		//dump("menuitems[0]="+menuitems[0]+"\n");		//dump("serverMenu="+serverMenu+"\n");    	serverMenu.selectedItem = menuitems[0];	}	catch (ex) {		dump("failed to set the selected server: " + ex + "\n");	}	SetServerTypeSpecificTextValues();}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/5a514dcaccba09a53bbbcc2cfd95c753f1f832c0/subscribe.js/buggy/mailnews/base/resources/content/subscribe.js