[PHP-JSON] Lettura nodo

Salve gente.
Nella mia pagina ricevo un json di questo tipo:
"nodo1": [
{
"nodo2": {
"nodo3": {
"value": 34
},
"nodo4": {
"value": 90
},
}
],
"nodo5": 225,
}

Come posso, in php, andare a prelevare il valore del mio nodo4?

Grazie

[saitfainder]

Usi json_decode per traformare il JSON in oggetti PHP e poi ti basta andare a prendere il valore dalla variabile corretta.

Io ho fatto così:

$json_output = json_decode($pagina, true);
echo $json_output[nodo4]; 

Ma ricevo il seguente errore:
Undefined index

[saitfainder]

Il nodo4 è figlio del nodo1, quindi $json_output['nodo1']['nodo4']...