rem: Element.hide(topDocument.getElementById("statusNoUpdates")); Element.show(topDocument.getElementById("statusUpdatesPending")); 
context: function setStatus(status){    var topDocument = frames["topF"].document;        if (status == "idle")    {        Element.hide(topDocument.getElementById("statusWorking"));        Element.show(topDocument.getElementById("statusIdle"));    }    else if (status == "loading")    {        Element.hide(topDocument.getElementById("statusIdle"));        Element.show(topDocument.getElementById("statusWorking"));    }    else if (status == "updates_pending" && ! status_updates_pending)    {        Element.hide(topDocument.getElementById("statusNoUpdates"));        Element.show(topDocument.getElementById("statusUpdatesPending"));        status_updates_pending = true;    }    else if (status == "no_updates" && status_updates_pending)    {        Element.hide(topDocument.getElementById("statusUpdatesPending"));        Element.show(topDocument.getElementById("statusNoUpdates"));        status_updates_pending = false;    }}
meta: 7608	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7608/f24c9c150020b36113dee6fdb307676844c717ec/tools.js/buggy/web/js/tools.js