\v=23
\v~=Judas also was very earnest in pursuing them, killing those wicked wretches, of whom he killed about thirty thousand men. 
\¬v