What do I do when my son cries?

Tell him to man up. That's his little sister she cant possible be hitting him hard enough to make him cry. But she shouldn't hit him because he takes her dolls she should go to her dad and tell him or buy him his own dolls.... He is already crying because of a 7 year old and he is 13 a TEENAGER..