The ball goes out-of-bounds and the referees understand that the last player who touched the ball on the court was Red 4 and ...