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