if ($o2 & 32768 && empty($_SERVER['PATH_INFO'])) {	// If USE_PATH_INFO, extract PATH_INFO.
	$_SERVER['PATH_INFO'] = @getenv('PATH_INFO');
	if (empty($_SERVER['PATH_INFO'])) {
		$_SERVER['PATH_INFO'] = (isset($_SERVER['ORIG_PATH_INFO'])) ? $_SERVER['ORIG_PATH_INFO'] : @getenv('ORIG_PATH_INFO');  
	}
}