document.write('1001\n');