context: function initServerType() {  var serverType = document.getElementById("server.type").getAttribute("value");    var propertyName = "serverType-" + serverType;  var messengerBundle = document.getElementById("bundle_messenger");  var verboseName = messengerBundle.getString(propertyName);  setDivText("servertype.verbose", verboseName);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/127f838241e9ef816f1128000c169de685b31f83/am-server.js/buggy/mailnews/base/prefs/resources/content/am-server.js