document.write('6993\n');