redir.php?url=HELP!

Anon

I've had loads of trys at creating a script that when redir.php is accessed with the variable: redir.php?url=02
it would include 'page2'
I've tried this with loads of if's and an array. but they dont work reliably. Is there a way of doing this for a loarge amount of pages? like 1-1000. which of course would be a bit silly if the code was:

if $url == 01 {
if $url == 02 {
........all the way to 1000?

could I database these or something. I'm not very familiar with mysql. But if thats the way to do it - I'd be greatful if someone could help!

Thanx in Advance
-Andy

Anon

do you mean this?

first strip off leading zeros from $url
(better done with a regexp, I'm sure)

<?
function stripzero($url)
{
$value = "";
$do = false;

for($i=0; $i<strlen($url); $i++)
{
if($url[$i] != "0" || $do)
{
$do = true;
$value .= $url[$i];
}
}

return $value;
}

$url = "000123";

$pagename = "page".stripzero($url);

echo $pagename;

Anon

You could replace stripzero() function with PHP built-in functionality.

$url = "000123";
$page_number = 1 * $url;
$pagename = "page$page_number";

echo $pagename;