michael@0: 
michael@0: gczeal(4);
michael@0: var BUGNUMBER = 668024;
michael@0: var summary =
michael@0: print(BUGNUMBER + ": " + summary);
michael@0: var arr = [0, 1, 2, 3, 4, 5, , 7];
michael@0: var seen = [];
michael@0: for (var p in arr) {
michael@0:     if (seen.indexOf(unescape) >= 0) {}
michael@0:     arr.splice(2, 3);
michael@0:   seen.push(p);
michael@0: }
michael@0: