"; if(preg_match('/~\w*\/$/', $_SERVER['REQUEST_URI']) and $_SERVER['REQUEST_URI'] != $_SERVER['SCRIPT_NAME']){ header("HTTP/1.1 301 Moved Permanently"); header('Location: '.$_SERVER['SCRIPT_NAME']); } include("/wwwpub/Prod/site/people/bio"); ?>