pools_dot_fun (POOLS)