The indoor pools are drained and cleaned every night, so we don’t need to chlorinate them. But the three main outdoor pools are chlorinated.