document.write('9296\n');