mi pare giusto. nella variabile $result hai il resource id number della query effettuata.

lo devi usare per leggere il campo prodotto da count().

codice:
$result = mysql_query($query, $db) or die(mysql_error());

$row = mysql_fetch_row($result);

echo $row[0];