document.write('17340\n');