document.write('7992\n');