')==false) { if (file_exists($_SERVER[DOCUMENT_ROOT]."/footer.html")) $footer=file_get_contents($_SERVER[DOCUMENT_ROOT]."/footer.html"); else $footer=file_get_contents($_SERVER[DOCUMENT_ROOT]."/theme/footer.html"); if (file_exists($_SERVER[DOCUMENT_ROOT]."/header.html")) $header=file_get_contents($_SERVER[DOCUMENT_ROOT]."/header.html"); else $header=file_get_contents($_SERVER[DOCUMENT_ROOT]."/theme/header.html"); $body=str_replace("",$header,$body); echo $body.$footer;} else echo $body; ?>