<div class="NAVIGATION">
$(sed -rn '/^[^ ]+\t[^ ]+$/p' "$bmfile" \
| while read page name; do
printf '<a href="%s">%s</a>' "${page}" "${name}"
done)
<div class="NAVIGATION">
$(sed -rn '/^[^ ]+\t[^ ]+$/p' "$bmfile" \
| while read page name; do
printf '<a href="%s">%s</a>' "${page}" "${name}"
done)