Redirect to given url

function redirect($u =null) {
      
        if (! $u) $u = $_SERVER[ 'HTTP_REFERER'];//go to previous page
        if (! $u) $u = '/'; // or to main page if previous is empty     
        Header ("Location: {$u} ");
        exit;
 }