1',   (   select    (   case when    (   3888   =   3888   )    then    (   select count   (   *   )    from generate_series   (   1,5000000    )      )     else 1/   (   select 0   )    end    )      )    