dovrei aver risolto con htmlentities(stripslashes($art['_testo'])).