problem mit führenden 00

[jph]

Hallo,
ich habe artikelnummern, die mit php aus einer db ausgelesen werden. z.b. 0008, 0016 oder 0102 wie kann ich nun dafür sorgen, dass man die führenden 00 weg kriegt:
ich habe es so versucht:

$res=eregi_replace ("0(([0-9.\-])*)","\\2", $row_produkte['artikel_nummer']); 

Problem-->dies funktioniert nur bei drei führenden Nullen
bei zwei führenden nullen (z.b.: 0016) wird die 1 mit weggeschnitten.
jemand eine idee?

[Howie Munson II]

versuch doch einfach die Strings in Integer oder Double Variablen zu überführen, geht natürlich nur wenn wirklich nur Ziffern enthalten sind

z.b.
$x="00001234";

$x = (int)$x;

bzw.

$x = (double)$X

[jph]

danke funktioniert wunderbar:
hatte versucht es so:
$artikel_nummer=eregi_replace ("000(([0-9.\-])*)","\\2", $artikel_nummer);
$artikel_nummer=eregi_replace ("00(([0-9.\-])*)","\\1", $artikel_nummer);
$artikel_nummer=eregi_replace ("0(([0-9.\-])*)","\\0", $artikel_nummer);

zu machen. Ist 1.wesentlich umständlicher und 2. funktioniert es bei 1ner führenden 0 nicht