<?php echo htmlspecialchars($_SERVER['HTTP_HOST']); ?>

' . $a); } else { ?> <?php echo htmlspecialchars($_SERVER['HTTP_HOST']); ?>