/* Generate 0.007139 second */