while($row = mysql_fetch_array($cerca))
{
$codici[]=$row['cod'];
}

Devo usare array_unique per eliminare i valori doppi ma non ho capito come si usa, qualcuno mi fa un esempio?

Grazie