document.write('4\n');