document.write('380934\n');