document.write('22693\n');