document.write('7991\n');