Codice PHP:
in_array(......, $decina2);