def get_random_id():
    """Return a random id for javascript fields."""
    from random import random
    from time import time
    try:
        from hashlib import sha1 as sha
    except __HOLE__:
        import sha
        sha = sha.new
    return sha('%s|%s' % (random(), time())).hexdigest()
dataset/ETHPy150Open adieu/allbuttonspressed/pygments/formatters/html.py/get_random_id