<?php echo htmlspecialchars($page_title); ?>