document.write('39994\n');