7.17　プール