document.write('1031\n');