<?php print htmlspecialchars($pagetitle); ?>