document.write('381046\n');