/* Generate 0.004239 second */