#!/bin/bash
ip='172.0.0.17'
echo $ip | sed -e 's/172\.\d{1,3}\./\.133./'