https://www.bibographics.com/2022/01/How-to-change-the-mobile-operator-while-keeping-the-number.html