/* Generate 0.000712 second */