Both the police and the workmen were grateful to the student for this piece of advance information.

警察与工人都对那个学生事先通报情况表示感谢。