How many movies have José Luis Velasco Antonino and Luis Ariño collaborated on?

They have not worked on any movies together...