document.write('4821\n');