String
tail
=
x
.
substring
(
endindex
)
;