"; echo htmlspecialchars_decode($page[page_html]); } ?>