What do you do if a 4 month year old baby is choking?

to help him breath hold his hands above his head then lightly tap his back while hes in a stomach-down position.