'; echo htmlspecialchars($page->out()); ?>