When they had crucified Him, they divided up His garments by casting lots.