document.write('3456\n');