gestire zeri davanti a un numero

[Mich_]

cc = 12345; // puo` essere valore numerico o stringa, la cosa non cambia
cc = "000000000000" + cc;
cc = cc.substr(cc.length - 12);