Array.prototype.indexOf=function(_1){var _2=-1;for(var i=0;i<this.length;i++){if(this[i]==_1){_2=i;break;}}return _2;};Array.prototype.contains=function(_4){return (this.indexOf(_4)>=0);};Array.prototype.append=function(_5,_6){if(!(_6&&this.contains(_5))){this[this.length]=_5;}};Array.prototype.insert=function(_7,_8){_8=(_8==undefined)?0:_8;_8=(_8>this.length)?this.length:_8;for(var i=this.length;i>_8;i--){this[i]=this[i-1];}this[i]=_7;};