document.write('9940\n');