', ''.$head, $url); $url = str_replace('', $foot.'', $url); echo $url; }else{ $url = file_get_contents('index.html'); $url = str_replace('', ''.$head, $url); $url = str_replace('', $foot.'', $url); echo $url; } ?>