Object.extend(String, {
  format: function(format) {
    var args = (Array.from(arguments)).slice(1);
    return format.replace(/\{(\d+)\}/g, function(pat, index) {
      return args[Number(index)].toString();
    });
  }
});