<?php echo isset($pageTitle) ? htmlspecialchars($pageTitle) : "OldHelp"; ?>