The workmen are drilling a hole.