<?php

$http_host = $_SERVER['HTTP_HOST'] ?? '';
$request_uri = $_SERVER['REQUEST_URI'] ?? '';

$default_url = "product_manuals";
header("Location:$default_url");
?>