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