文字の置き換えするコマンドって何だったっけ?

$ echo "0123445" | ○○○ "1234" "abcd"
0abcdd5

こういうやつ