timer() operator