document.write('50294\n');