a dual-function toilet flushing button