from random import *
import urllib.request, re
my_url = input("\ ")
name = "".join(sample([chr(i) for i in range(97, 123)],6))+str(randint(11111,99999))+str(randint(11111,99999))
ext = re.findall(r'.+(\.{1}[a-zA-Z]+)[^\.]*', my_url)[0]
pic = urllib.request.urlopen(my_url).read()
f = open(name+ext, "wb")
f.write(pic)
f.close()
print('OK')