/* Generate 0.005238 second */