<?
$redirto = str_ireplace("details.phtm","lodging/details.html",$REQUEST_URI);
header ("location: $redirto");
exit;
?>