document.write('7698\n');