User Sarah, a software engineer, is experiencing harassment at work from two colleagues. The harassment has been ongoing for months. Although she has raised this issue with her employer multiple times, What should Sarah do next?
1) File a formal complaint with the HR department
2) Confront the colleagues directly
3) Ignore the harassment and hope it stops
4) Quit her job and find a new workplace