`&#4217;` --> ok, 7, but i wanted to make it a round number. sometimes symbols are coupled. but meh