document.write('3\n');