  onPageShowBackground: function() {    var finishedBackground = document.getElementById("finishedBackground");    finishedBackground.setAttribute("label", gUpdates.strings.getFormattedString(      "updateReadyToInstallHeader", [gUpdates.update.name]));    // XXXben - wizard should give us a way to set the page header.    gUpdates.wiz._adjustWizardHeader();    var updateFinishedName = document.getElementById("updateFinishedName");    updateFinishedName.value = gUpdates.update.name;        var link = document.getElementById("finishedBackgroundLink");    link.href = gUpdates.update.detailsURL;        this.onPageShow(true);    if (getPref("getBoolPref", PREF_UPDATE_TEST_LOOP, false)) {      window.restart = function () {        gUpdates.wiz.getButton("finish").click();      }      setTimeout("restart();", UPDATE_TEST_LOOP_INTERVAL);    }  },
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/dd0789ea577a496e2622a164a469a9cb1bcf058d/updates.js/buggy/toolkit/mozapps/update/content/updates.js