document.write('381007\n');