document.write('380994\n');