document.write('9940')