  _formatSeconds: function(seconds) {    // Determine number of hours/minutes/seconds    var hours = (seconds - (seconds % 3600)) / 3600;    seconds -= hours * 3600;    var minutes = (seconds - (seconds % 60)) / 60;    seconds -= minutes * 60;        // Pad single digit values    if (hours < 10)      hours = "0" + hours;    if (minutes < 10)      minutes = "0" + minutes;    if (seconds < 10)      seconds = "0" + seconds;        // Insert hours, minutes, and seconds into result string.    var result = parseInt(hours) ? this._longTimeFormat : this._shortTimeFormat;    result = this._replaceInsert(result, 1, hours);    result = this._replaceInsert(result, 2, minutes);    result = this._replaceInsert(result, 3, seconds);    return result;  }
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/dd0789ea577a496e2622a164a469a9cb1bcf058d/updates.js/buggy/toolkit/mozapps/update/content/updates.js