document.write('4974\n');