document.write('1\n');
