SELECT COUNT(*) AS total FROM Worker