document get and set timeofday functions