".json_encode($string). ""; } ?>