"And when they had crucified him, they parted his garments among them, casting lots;"