Task: Remove all characters except ";" and digits from the string "  Hello world;876	  "
Command: echo '  Hello world;876	  ' | tr -cd ';0-9'
Equivalent command: echo "  Hello world;876     " | sed 's/[^0-9;]//g'