4,000 out of how many employees? Context would be good to know.
About 73,000 per Wiki.
.
Their stock is down. Good time to cut staff.