1.Go directly to a supervisor
2.Complain to Human Resources
3.Wait to see if it happens again
4.Confront the co-worker angrily