document.write('99940\n');