Resultado de la búsqueda: public int tamaño