import time, string
start = time.time()

asct 		= time.asctime
ltime 		= time.localtime
now		= time.time
lower 		= string.lower
for i in range(20000):
    strtime = asct(ltime(now()))
    lname = lower('UPPER')

print time.time() - start