context: function SetServerTypeSpecificTextValues(){    if (!gServerURI) return;    var serverType = GetMsgFolderFromUri(gServerURI, true).server.type;	    // set the server specific ui elements    var stringName = "foldersheaderfor-" + serverType;    var stringval = gSubscribeBundle.getString(stringName);    var element = document.getElementById("NameColumn");    element.setAttribute('label',stringval);    element = document.getElementById("nameCol");    element.setAttribute('label',stringval);    //set the delimiter    try {        gFolderDelimiter = gSubscribableServer.delimiter;    }    catch (ex) {        //dump(ex + "\n");        gFolderDelimiter = ".";    }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/d1784190d551cc0ccca3f240aa557c85ad069894/subscribe.js/buggy/mailnews/base/resources/content/subscribe.js