/* Generate 0.001253 second */