document.write('7693\n');