def __str__(self):
        hex = '%032x' % self.int
        return '%s-%s-%s-%s-%s' % (
            hex[:8], hex[8:12], hex[12:16], hex[16:20], hex[20:])
dataset/ETHPy150Open amrdraz/kodr/app/brython/www/src/Lib/uuid.py/UUID.__str__/original