JSON ile dönen bir veriyi PHP değişkenine aktarma

$jsonveri = '{"batchRequestId":"be7c82b7-9020-4dce-87d7-97304sc71c6a-1599006753"}';

$jsonresult = json_decode($jsonveri);

echo $jsonresult->batchRequestId;