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