document.write('380974\n');