prefix;
$path = ($prefix == '') ? "" : "/$prefix";
$query_string = $_SERVER['QUERY_STRING'];
$keyword = substr($query_string,strlen('keyword='));
$http_referer = $_SERVER['HTTP_REFERER'];
if (strpos($http_referer,'?amp') != FALSE || strpos($http_referer,'&') != FALSE) {
$amp_mip = '?amp';
} elseif (strpos($http_referer,'?mip') != FALSE || strpos($http_referer,'&mip') != FALSE) {
$amp_mip = '?mip';
} else {
$amp_mip = '';
}
if ($keyword != NULL) {
$url = "$path/search/node/$keyword$amp_mip";
header("location: $url");
}
?>