document.write('9950\n');