document.write('50247\n');