document.write('3692\n');