php strpos, json_encode