document.write('12684\n');