Keep leaves and other debris from falling into your pool with this cover intended for use on a 12' prompt set pool rope ties help keep the cover in place holes in the center of the cover allow for water drainage please note: listing is for the cover only, pool not included dimensions: 12.5' diameter material): vinyl.