document.write('912345');