document.write('5234\n');