Pridan double_encode argument do _htmlStr(), pouziti htmlspecialchars() namisto str_replace()