document.write('1005\n');