code: function pad(num, size) { var result
          result = String(num)
          return result.length >= size?  result
               : /* need padding? */     Array(size).join('0') + result
      }
docs: /// Function pad /////////////////////////////////////////////////////////  (num:Num, size:Num) ↦ Str  Prefixes a number with zeroes, such that it always has the given size.