Zahl aus String auslesen(filtern)

[offline]

Hallo!

ich will aus dem ersten Teil des Strings nur die Zahl
(also bis zum Punkt)
Den ersten Teil habe ich... wie bekomme ich die Zahl aus dem String???

...
$server= "server12.domain.de";

$trennzeichen = ".";
$servernummer = strtok($server,$trennzeichen);
echo "Die <i>".$domain."</i> liegt auf Server <i>".$servernummer."</i>.";
...

Mit freundlichen Grüßen
offline (PHP-Einsteiger)