And Jesus said, “Father, forgive them, for they know not what they do.” And they cast lots to divide his garments.