document.write('1234\n');