2025-05-22 Why do toilet flushes have two buttons ?