# _*_ coding:utf-8 _*_
#xiaohei.python.seo.call.me:)
#win+python2.7.x

number = "1350571"

with open("hm.txt","w") as f:
	for i in range(0001,9999):
		ok = number + "{:0>4d}".format(i) + "\n"
		f.write(ok)