Which Jecod/Jebao DCT pump to buy for sump?

which Jecod/Jebao DCT model pump should I get for a 100gal DT and a 40g sump? 4000, 6000, 8000, 12000 or 15000? Thanks