var digits = this.toString(16); if (this < 16) return '0' + digits; return digits; 
return this.toPaddedString(2, 16); 
  toColorPart: function() {    var digits = this.toString(16);    if (this < 16) return '0' + digits;    return digits;  },
4053	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4053/37a06e5ed1bdb861348bb0cfd02f71470a0dfdfb/prototype.js/clean/lib/prototype.js