| 1234567891011121314151617181920212223242526272829303132333435 | Array.prototype.toString = function() {  var r = "["  for (var idx = 0; idx < this.length; idx = idx + 1) {    if (idx > 0)      r = r + ", "    r = r + this[idx].toString()  }  return r + "]"}Array.prototype.push = function(x) {  this[this.length] = x  this.length = this.length + 1  return x}Array.prototype.pop = function() {  var r = this[this.length - 1]  this[this.length - 1] = undefined  this.length = this.length - 1  return r}Array.prototype.join = function(delim) {  var r = ""  for (var idx = 0; idx < this.length; idx++) {    if (idx > 0)      r += delim    r += this[idx]  }  return r  }Array.prototype.concat = function(xs) {  for (var idx = 0; idx < xs.length; idx++)    this.push(xs[idx])  return this}
 |