document.write('381000\n');