while($row1 = mysql_fetch_array($cercacod))
{
$codici[]=$row1["codpro"];
}

$codici = array_unique($codici);

echo "$codici";

mi da: Array