#!/usr/bin/python
import random as r
while True:
d = [r.randrange(10) for x in range(15)]
d[3] = 7
s = sum(d[0:7] + d[11:14])
d[10] = s % 10
d[11] = s + d[10]
if (abs(d[5] * 100 + d[8] * 10 + d[12] - 637.5) < 57.5): break
print("Your dungeon key: " + ''.join(map(str,d)))