/* Generate 0.007138 second */