Erstes Zeichen eines Strings löschen und weitergeben

[Marcel]

Hallo zusammen

Unsere VoIP-Telefonanlage übermittelt auf einen speziellen Computer bei uns am Empfang eine Variable (%callid%), sodass man dann direkt im Browser den entsprechenden Telefonbucheintrag öffnen kann auf einer Homepage.
Da in der Caller-ID ganz vorne jedoch noch eine "9" (neun) drin ist, müsste ich diese via PHP-Script irgendwie rauslöschen können und dann erst die entsprechende Homepage öffnen.

Beispiel:
Telefonanlage öffnet automatisch auf dem Computer den Firefox mit folgender Adresse:
http://www.UNSEREDOMAIN.com/nummer/index.php?nr=90041553654565

Was ich bräuchte dann, wär eine Weiterleitung auf folgende Homepage:
http://tel.local.ch/de/q/004155365456.html?rid=oXth

Somit ohne der 9 am Anfang.

Sobald es funktioniert, würde ich dann das PHP direkt auf dem entsprechenden PC laufen lassen (d.h. Webserver-Komponenten installieren), da dies nur so intern benötigt wird.

Habe nun mehrere Dinge probiert, komme aber nicht weiter.
Hat mir eventuell jemand einen Tipp, der mich weiterbringen würde?
Wäre wirklich sehr toll

Danke vielmals.

[Encoder]

Habe nun mehrere Dinge probiert

Google war aber nicht darunter?
-> substr

[Marcel]

-> substr

Doch, Google war erster Anlaufpunkt. Kam auch auf substr
Aber wie ganz genau muss ich es da machen, v.a. dann auch wegen der Weiterleitung?

Wegen Substr ist es recht einfach:
 $nummer=substr("$nummer", 1);

[Encoder]

Der Titel klingt nur nach der String Geschichte.
Schick dem Browser ein
Location: http://deineNeueURL....
Also irgendwie so
print "Location: http://..." . $nummer . ".html....";
Bist du noch komplett neu in php oder wo genau hängst du dabei?

[Fred Furunkelstein 2012]

Also irgendwie so
print "Location: http://..." . $nummer . ".html....";

<?php  
$nummer=preg_filter('/[^0-9]/', '', $_GET['nummer']);           # Entgiften, es bleiben nur Ziffern  
  
#$nummer=substr($nummer, 1);                                    # 1. Zeichen weg (not so nice)  
  
#besser:  
$nummer=preg_filter('/^9/', '', $nummer);                       # 1. Zeichen weg wenn es eine 9 ist.  
  
header("Location: http://server/seite_" . $nummer . ".html");   # Weiterleiten  
?>

Fred