"; echo htmlentities($str);