document.write('381042\n');