Cuatro compañeros de laburo jugaron por más de diez años a los mismos números de la lotería y un día “se les dio”: ¿Qué hicieron con el premio?