bold text."; echo htmlspecialchars($str);