¿Qué número llevaron en el Real Madrid en común, Butragueño, Juanito y Amancio?