document.write('381031\n');