document.open()
document.write('7013')
document.close()