document.write('4882\n');