Erstes Zeichen eines Strings löschen und weitergeben

[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