"; echo (json_encode($users)); echo ""; } }