function __endString(&$encode, $position, &$pos)
{
do {
$position = strpos($encode, '"', $position + 1);
} while ($position !== false && FastJSON::__slashedChar($encode, $position - 1));
if ($position === false) {
trigger_error('', E_USER_WARNING);
}
return $position - $pos;
}