document.write('380904\n');