grep

grep "это" или "то"

ищем 13 или 17

grep -e "13\|17"