/* Generate 0.005231 second */