The jackpot was set at 10 billion dollars.
The winnings were split between all the workers.
The employees of a small office decided to play.
The employees of a small office decided to they didn't want to play.