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