Codice PHP:
$ids = array(129,157,124,89,160);

echo "ARRAY_SEARCH->" . array_search(89, $ids) . "
"; 
ottento 3 che è la posizione dell'elemento cercato

però il mio puntatore interno è puntato su 129, che è il primo valore iniziale

Codice PHP:
echo "CURRENT->" . current($ids) . "
"; 
come faccio, sapendo la chiave a far andare il puntatore a quell'elemento?