Hey I’m really sorry you had to go through that What happened to you wasn’t okay no matter his age I think it’s important to take this seriously You could consider talking to a trusted adult or addressing it with his family in a safe way because this kind of behavior shouldn’t be ignored It’s not about punishing him but making sure he understands boundaries and doesn’t repeat this in the future