What is pool.php?