in state revenues created by the casinos.