redirecting to a page

["Rick Dahl" <dmbserver@hotmail.com>]

I need to redirect to another page once some scripts that I can't alter run.  

I have this function at the top of my page: 

<?
  function Redirect ($url) {
     Header ("Location: " . $url);
     exit;
  }
?>

How do I call the function?

Rick