esattamente
Codice PHP:
array array_diff ( array $array1 , array $array2 [, array $... ] ) 
Restituisce un array contenente tutti gli elementi dell'array1 che non sono presenti in nessuno degli altri array.
Quindi è possibile che stia switchando i parametri. Forse lui sta usando array_diff( 5000, 16000 )