function __slashedChar(&$encode, $position)
{
$pos = 0;
while ($encode[$position--] === '\\') {
$pos++;
}
return $pos % 2;
}
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; }