pub_StatRobots∨der=TimeDown

This function is under construction.