Javascript String split_string()

// Turns "13, 5, 2, 7" into ["13","5","2","7"]
String.prototype.split_string = function() {
  return this.replace(/ /g, '').split(",");
}