document.write('1002\n');