# execute this script as: bash names.sh
grep "<strong>" faculty.html  | sed 's/<strong>//' | sed 's/<.*//'