document.write('50245\n');