document.write('5\n');