document.write('9\n');