Vidersend bruger

Jeg ved ikke, men af en eller anden grund har jeg aldrig haft brug for denne function før, og kan ikke finde den i manualen
Hvordan vidersender man egentlig en bruger i PHP ???
Altså noget i stil med:

if ($REMOTE_ADDR == 127.0.0.1) {
    vidersend_bruger_til(http://server.com/side.php)
}