出先なので手短に。

純粋にテクニカルに考えると、
IBIS_WM0123456789ABCDEF

とかですかね。

ベンダー側で携帯キャリアが付与するものと異なる番号を独自に付与されるのであれば、

ベンダー固有名_ベンダー固有識別子

という形式がよいような気がします。

で、それよりももっと重要なことがひとつあるです。
それはちと長くなりそうなので、時間取れた時に別途。

あと、私は本件ここ以外どこでも誰とも何にも調整してないんで、
管理人が突然ふらりと現れてこれまでのすべてをひっくり返すとかの可能性も、
当然ありうるです。

それが２ちゃんねるの醍醐味ということで。