\v=17 \v~=\w Ater|strong="H0333"\w*, \w Hizkijah|strong="H2396"\w*, \w Azzur|strong="H5809"\w*, \¬v