document.write('3943\n');