\v=53
\v~=Zadok his son, Ahimaaz his son. 
\¬v