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