rem: function doLoad() {  if (window.arguments[0].server) gRSSServer = window.arguments[0].server; 
add: function doLoad() {  if (window.arguments[0].server) gRSSServer = window.arguments[0].server; 
context: function doLoad() {    // extract the server argument    if (window.arguments[0].server)        gRSSServer = window.arguments[0].server;        var ds = getSubscriptionsDS(gRSSServer);    var tree = document.getElementById('subscriptions');    tree.database.AddDataSource(ds);    tree.builder.rebuild();}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/f088f54df36ecaf7c088d49128bf7c4441965b2b/subscriptions.js/buggy/mail/extensions/newsblog/content/subscriptions.js