document.write('9943\n');