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