documented setTimeout()