used htmlspecialchars_decode() for better perfomance in PHP 5.3