Friday, November 10, 2006, 4:26:06 PM, Patrick wrote: > $x = preg_replace('/\\D+/', '', $x); > (replace all non-digits with ''). Thanks, so simple! And thanks Stefan for your answer too! Hans