2.1.87 [ECMA-262-1999] Section 15.5.4.13, String.prototype.slice (start, end)

V0134:

The length property of the slice method is #2#__0__.