https://timerjhg.blogspot.com/2023/04/how-to-set-timer-on-pool.html